Correctly-rounded evaluation of a function: why, how, and at what cost? [pdf] | Dark Hacker News