DocBook reader:  Handle numerical attributes starting with decimal.

Also use safeRead instead of read.