Update to floating-point theory and tools.