@steve Hi, I need my memory jogged... a while back, we had a conversation where you mentioned someone did a PhD thesis on "a rounding/compliance test suite for floating point arithmetic". And it's a decent read for anyone who might ever want to make a software FP library. Does this ring a bell?
I could look on Twitter, but... your posts are gone :P.