Automated Floating-Point Precision Analysis