LeanFloat – a simplified version of the IEEE 754 | Hacker News Reader