On Wed, 2019-01-30 at 13:42 -0700, Keith Bierman via J3 wrote: > Getting the fp details right is hard (fdlibm is still probably the > closest portable library), and as Van noted, it took him 17 years to > find a bug. That was Steve who found the bug, not me.