Typos in the floating point guide