1.15 F64

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

1.15.1 Examples

ikc3> (F64) 1 + (F64) 0.001
(F64) 1.00099999999999