1.14 F32

The KC3 F32 type is a C-compatible IEEE 754 floating point number on 32 bits.

1.14.1 Examples

ikc3> (F32) 0.1 + (F32) 0.001
(F32) 1.009999e-1