Reals converted from Oberon text to ascii text