The rabbit hole goes much deeper, as NaN-boxing is a technique that could completely replace the way OCaml does pointer tagging and allow us to represent both integers and floats as direct values. See the discussion here for example.
bluddy
9
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Deriving.eq and Float.nan | 11 | 1501 | March 21, 2021 | |
| Assertions involving NaN | 3 | 634 | November 6, 2022 | |
| Division by zero (newbie first question) | 15 | 3201 | February 22, 2021 | |
| How to speed up this function? | 33 | 3632 | October 25, 2025 | |
| Generating a map at compile time? | 50 | 1197 | March 12, 2025 |