Block workarounds (later became :lambda: calculus) – Page 2 – Math – Snap! Forum https://forum.snap.berkeley.edu/t/block-workarounds-later-became-calculus/4172?page=2
The Alonzo function returns an Church numeral (rounds floats and makes negatives 0) and the Flatten Alonzo function gets it back into Number typed ints.
Yes, totally, IEEE floating point (invented by a Berkeley professor, by the way)