Updating: improving lexing of numbers in oct representation
Updating: very minorly tidying-up