B.3. Floating Point

The ERC32 uses IEEE floating-point numbers.