Fixed bug in read-number-with-radix-prefix.