John Gustafson’s crusade to replace floating point with something better