In search of an ancient IEEE-754 floating point test suite