[math-fun] What difference could a few bits of precision make?