☰
float
float
convert a float value to i64 dropping any fraction.
the value must be in the range of i64
the value must be in the range of i64
preconditions for basic operations: true if the operation's result is
representable for the given values. For IEEE_754, all operations are
defined for all values.
representable for the given values. For IEEE_754, all operations are
defined for all values.
float is the abstract parent of concrete floating point features such as
f32 or f64.