Determines whether this value is finite. Produces false for infinity, -infinity, and undefined.

The fractional part of this number, after truncation of the integral part. For Integral numeric types, the fractional part is always zero.

A platform-dependent hash code for this Float.

Determines whether this value is infinite in magnitude. Produces true for infinity and -infinity. Produces false for a finite number, +0.0, -0.0, or undefined.

This value, represented as an Integer, after truncation of its fractional part, if such a representation is possible.

The magnitude of this number, defined for any instance x as:

• -x if x<0, or
• x otherwise,

where 0 is the additive identity. Hence:

• x.magnitude >= 0 for any x, and
• x.magnitude == 0 if and only if x==0.

The additive inverse of this value.

Determines if this value is a negative number or -infinity. Produces false for a positive number, +0.0, -0.0, or undefined.

Determines if this value is a positive number or infinity. Produces false for a negative number, +0.0, -0.0, or undefined.

The sign of this value. Produces 1 for a positive number or infinity. Produces -1 for a negative number or -infinity. Produces 0.0 for +0.0, -0.0, or undefined.

Determines if this value is a negative number, -0.0, or -infinity. Produces false for a positive number, +0.0, or undefined.

Determines if this value is a positive number, +0.0, or infinity. Produces false for a negative number, -0.0, or undefined.

A string representing this floating point number.

• "NaN", for any undefined value
• "Infinity", for infinity,
• "-Infinity", for -infinity, or,
• a Ceylon floating point literal that evaluates to this floating point number, for example, "1.0", "-0.0", or "1.5E10".

Determines whether this value is undefined. The IEEE standard denotes undefined values NaN (an abbreviation of Not a Number). Undefined values include:

• indeterminate forms including 0.0/0.0, infinity/infinity, 0.0*infinity, and infinity-infinity, along with
• complex numbers like sqrt(-1.0) and log(-1.0).

An undefined value has the property that it is not equal (==) to itself, and as a consequence the undefined value cannot sensibly be used in most collections.

The integral value of the number after truncation of the fractional part. For Integral numeric types, the integral value of a number is the number itself.

Compares this value with the given value. Implementations must respect the constraints that:

• x==y if and only if x<=>y == equal (consistency with equals()),
• if x>y then y<x (symmetry), and
• if x>y and y>z then x>z (transitivity).

The quotient obtained by dividing this number by the given number. For integral numeric types, this operation results in a remainder.

When the given number is 0, the additive identity, the behavior depends on the numeric type:

• For some numeric types, including Integer, division by 0 results in an exception.
• For others, including Float, it results in a special value of the type, for example, infinity.

Determines if the given object is equal to this Float, that is, if:

• the given object is also a Float,
• neither this value nor the given value is undefined, and either
• both values are infinite and have the same sign, or both represent the same finite floating point value as defined by the IEEE specification.

Or if:

• the given object is an Integer,
• this value is neither undefined, nor infinite,
• the fractionalPart of this value equals 0.0,
• the integer part of this value equals the given integer, and
• the given integer is between -2⁵³ and 2⁵³ (exclusive).

Determines if this value is strictly larger than the given value.

The difference between this number and the given number. Must produce the value x + -y.

Determines if this value is smaller than or equal to the given value.

Determines if this value is larger than or equal to the given value.

The result of adding the given value to this value. This operation should never perform any kind of mutation upon either the receiving value or the argument value.

The result of adding this number to the given Integer.

The result of raising this number to the given floating point power, where, following the definition of the IEEE pow() function, the following indeterminate forms all evaluate to 1.0:

• 0.0^0.0,
• infinity^0.0 and (-infinity)^0.0,
• 1.0^infinity and (-1.0)^infinity.

Furthermore:

• 0.0^infinity evaluates to 0.0, and
• 0.0^(-infinity) evaluates to infinity.

If this is a negative number, and the given power has a nonzero fractionalPart, the result is undefined.

For any negative power y<0.0:

• 0.0^y evaluates to infinity,
• (-0.0)^y evaluates to -infinity, and
• for any nonzero floating point number x, x^y evaluates to 1.0/x^(-y).

The result of raising this number to the given integer power, where the following indeterminate forms evaluate to 1.0:

• 0.0^0,
• infinity^0 and (-infinity)^0.

For any negative integer power n<0:

• 0.0^n evaluates to infinity,
• (-0.0)^n evaluates to -infinity, and
• for any nonzero floating point number x, x^n evaluates to 1.0/x^(-n).

Determines if this value is strictly smaller than the given value.

The product of this number and the given number.

The result of multiplying this number by the given Integer.