Disallow leading zeros in json numbers.

fixes #4240