jon.recoil.org

Module Flambda2_floats.Float32

IEE754 32-bit floats represented as 32-bit integers. Operations are implemented in C stubs.

type t
val of_string : string -> Flambda2_floats.Float32.t

Parse 32-bit float literal.

val to_string : Flambda2_floats.Float32.t -> string

Format 32-bit float to string.

val of_float : float -> Flambda2_floats.Float32.t

Convert from a 64-bit float; rounds to the nearest 32-bit float.

val to_float : Flambda2_floats.Float32.t -> float

Convert to a 64-bit float; exact.

val to_bits : Flambda2_floats.Float32.t -> int32

Bit-cast to 32-bit integer.

val of_bits : int32 -> Flambda2_floats.Float32.t

Bit-cast from 32-bit integer.