Nicolas Brisebarre Jean-Michel Muller Correctly Rounded Multiplication by Arbitrary Precision Constants. 13-20 2005 conf/arith/2005 IEEE Symposium on Computer Arithmetic http://doi.ieeecomputersociety.org/10.1109/ARITH.2005.13 db/conf/arith/arith2005.html#BrisebarreM05