More work on floating point.