The KC3 F64 type is a C-compatible IEEE 754 floating point number on 64 bits.
F64
ikc3> (F64) 1 + (F64) 0.001 (F64) 1.00099999999999
Top : KC3 documentation
Previous : 1.10 F32
Next : 1.12 F128