I have a pretty big JavaScript file here which I want to embed into my website. The HTTP server is smart enough to GZIP the file before delivering it to the browser.
I've run into this problem as well, while trying to optimize the load time of a website on iOS7 Safari mobile iPad.
Safari chose a really weird way of representing these numbers in their debugger.