Module Flambda2_floats

module Float32 : sig ... end

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