Open GoogleCodeExporter opened 9 years ago
mpfr_subnormalize() can return an incorrectly rounded result due to double-rounding.
Original issue reported on code.google.com by casevh on 19 Nov 2014 at 5:03
casevh
Original issue reported on code.google.com by
casevh
on 19 Nov 2014 at 5:03