The KC3 F32 type is a C-compatible IEEE 754 floating point number on 32 bits.
F32
ikc3> (F32) 0.1 + (F32) 0.001 (F32) 1.009999e-1
Top : KC3 documentation
Previous : 1.09 Cow
Next : 1.11 F64