Disallow leading zeros in json numbers.

fixes #4240.

well technically test_float() still doesn't complain about leading zeros, but get_float() does.