"positive floating point number" sounds like a mouthful...