This guy went on to found a company as I recall, which I think was then acquired. Its a pretty clever way to make fast floating point.