Solving range constraints for binary floating-point instructionsAbraham ZivMerav Aharoniet al.2003ARITH 2003