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