LeanFloat – a simplified version of the IEEE 754 | Heykuki News