* Docu: elaborate definition of sqrfree() (by Roberto Bagnara)