In many error messages, we print out time values (or other numbers) that come from Javascript.  We should probably print these values out in the same way that Javascript would print them so that it's consistent with how Javascript prints them instead of how C/C++ prints them.