Comment Comment by Upvoter33 "US government bans floating point numbers" parent Upvoter33 3 months ago