Owned by Eduard-Mihai Burtescu.
#55 in #safely
1KB
Floating-point numbers, implemented in software, slowly and safely