3.5: parser for numbers further improved!