9.5. Floating-Point Numbers🔗

• Run-time and kernel representations

• Precision, and whether it's platform-dependent

• Relationship between IEEE floats and decidable equality

Tracked at issue #107