Exact floating-point arithmetic
