parse numbers starting with '0'

so … 08 … gets an '8', not a '0'