We fixed an issue where numbers would sometimes incorrectly display with extraneous decimals, like “2.0000000000001” instead of “2"!