readEncodedReal