9.33.3 Floating Point

Floating-point numbers are not supported.