numeric
numeric copied to clipboard
Fixed 100 rendered as 1e2 by prettyPrint
Due to how prettyPrint was implemented, 100 would always be rendered as 1e2. Fixed that particular error. Still leaves open the issue of rendering 10000 as 1e4, for example.