Correctly-rounded evaluation of a function: why, how, and at what cost? [pdf]hal.science·2 pts·bremac·0