Allow numbers in JSON5 format.