tree dc8f04acb1dd41b71ed53199b67bb1d21b1bb9a5
parent 688ee4c88722ca191981246f7732f25caed81cac
author Leonardo de Moura <leomoura@amazon.com> 1731698325 -0800
committer Leonardo de Moura <leomoura@amazon.com> 1731698325 -0800

feat: add `Float.toBits` and `Float.fromBits`

This PR adds raw transmutation of floating-point numbers to and from `UInt64`. Floats and UInts share the same endianness across all supported platforms. The IEEE 754 standard precisely specifies the bit layout of floats. Note that `Float.toBits` is distinct from `Float.toUInt64`, which attempts to preserve the numeric value rather than the bitwise value.