More work on floating point arithmetic.