3 ms·"US government bans floating point numbers"by Upvoter33 2mo ago"US government bans floating point numbers"