An IEEE 754 64-bit floating point number. A Float
is capable of approximately representing numeric values
between 2-1022 and
(2-2-52)×21023, along with
the special values infinity and -infinity, and
undefined values (Not a Number). Zero is represented by
distinct instances +0, -0, but these instances are
equal. An undefined value is not equal to any other
value, not even to itself.
| Initializer |
| Float(Float float) |
| Attributes | |
| finite | Source Code shared Boolean finite |
| infinite | Source Code shared Boolean infinite |
| negative | Source Code shared actual Boolean negative Determines if this value is a negative number or
Refined declaration: negative |
| positive | Source Code shared actual Boolean positive Determines if this value is a positive number or
Refined declaration: positive |
| sign | Source Code shared actual Integer sign The sign of this value. Produces Refined declaration: sign |
| strictlyNegative | Source Code shared Boolean strictlyNegative Determines if this value is a negative number, |
| strictlyPositive | Source Code shared Boolean strictlyPositive Determines if this value is a positive number, |
| undefined | Source Code shared Boolean undefined Determines whether this value is undefined (that is,
Not a Number or NaN). The undefined value has the
property that it is not equal ( |
| Inherited Attributes |
| Attributes inherited from: Object |
| Attributes inherited from: Invertable<Inverse> |
| Attributes inherited from: Number |