Tricks with the floating-point format | Hacker News Reader