JSON number formatting is now location independent

Issue #36