30.7. Floating Point

The ERC32 uses IEEE floating-point numbers.