Fixed bug that displayed ints as floats when unnecessary.
Issue #541 on google code:
Dislay ints as ints Issue 541
Fixed bug that displayed ints as floats when unnecessary
I pulled your changes to my local repo for testing, and was surprised to find that I could no longer reproduce the original problem! After a little investigation I realized that pull request #50, which I just merged earlier today, had the unexpected side-effect of fixing this decimal issue.
I did test your fix separately, and it doesn't appear to work, at least using the example provided by lizka in issue #541 on Chrome 20; the decimals still show up. Did you test against that example, or a different one?
In any case, I'm closing this pull request, since the issue is resolved. But I am thankful that you took the time to work on this; otherwise it might have been months before we realized that the problem was already solved, and it would have been very difficult at that point to figure out why.