Satisfied Interfaces: Comparable<Other>, Exponentiable<Float,Float>, Invertable<Other>, Number, Numeric<This>, Scalar<Float>, Summable<Other>

An IEEE 754 64-bit floating point number. A `Float`

is capable of approximately representing numeric values
between 2^{-1022} and
(2-2^{-52})×2^{1023}, 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 |