Float typedef

Float = double

Represents a single-precision 32-bit IEEE 754 floating point number.

On the JVM, non-nullable values of this type are represented as values of the primitive type float.

Implementation

typedef Float = double;