Expand description

Finite floating-point arithmetic.