Red Book Page 54 Greatest Integer/Floor Function