IEEE floating point rounding rules | Hacker News Reader