Work on various floating-point mechanisms.