he would, but he very much designed the standard around the idea that if you wanted to implement a floating point algorithm you would hire him.