"US government bans floating point numbers"