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