1Correctly-rounded evaluation of a function: why, how, and at what cost? [pdf] (opens in new tab)(hal.science)2bremac1y ago0