Solving constraints on the intermediate result of decimal floating-point operationsMerav AharoniRon Mahariket al.2007ARITH 2007