finite-float

Finite floating point arithmetic.