Better name for test of an invariant property of floats
Casting parameters and clarified signature of Generator\float()