number must not have leading zeroes (json-c pr #90)