Improving floating-point programming (Wiley, 1990)