9.56.3 Floating Point

Floating-point numbers are not supported.