logoalt Hacker News

omoikanetoday at 3:07 AM0 repliesview on HN

See also:

https://en.wikipedia.org/wiki/Saturation_arithmetic