Floating-Point Classification

Facilities to query properties of floating-point values.