Improving Floating-Point Programming