9.54.3 Floating Point

Floating-point numbers are not supported.