[polyml] Patch(es) to Poly/ML's Basis library (REAL, TEXT_IO, CHAR, STRING)

V2hpbGUgdXBkYXRpbmcgbXkgRXh0ZW5kZWQgQmFzaXMgbGlicmFyeQooaHR0cDovL21sdG9uLm9y Zy9jZ2ktYmluL3ZpZXdzdm4uY2dpL21sdG9ubGliL3RydW5rL2NvbS9zc2gvZXh0ZW5kZWQtYmFz aXMvdW5zdGFibGUvKQp0byBjb21waWxlIHdpdGggUG9seS9NTCwgSSBmaXhlZCBzb21lIGlzc3Vl cyBpbiBQb2x5L01MJ3MgQmFzaXMKbGlicmFyeSBpbXBsZW1lbnRhdGlvbjoKCi0gSSBmaXhlZCB0 aGUgUkVBTCBzaWduYXR1cmUsIHdoaWNoIGRpZCBub3QgY29ycmVzcG9uZCB0byB0aGUgUmVhbApz dHJ1Y3R1cmUuICBJIGFsc28gc2VhbGVkIHRoZSBSZWFsIHN0cnVjdHVyZSB3aXRoIHRoZSBSRUFM IHNpZ25hdHVyZQp0byBhdm9pZCBwcm9ibGVtcyBsaWtlIHRoYXQgaW4gdGhlIGZ1dHVyZS4KCi0g SSBhZGRlZCB0aGUgbWlzc2luZyBURVhUX0lPIHNpZ25hdHVyZS4gIEkgaGF2ZW4ndCBjaGVja2Vk IHdoZXRoZXIgaXQKY29uZm9ybXMgdG8gdGhlIEJhc2lzIGxpYnJhcnkgc3BlYywgYnV0IGF0IGxl YXN0IHRoZXJlIG5vdyBpcyBhClRFWFRfSU8gc2lnbmF0dXJlICh3aGljaCBpcyBuZWVkZWQgYnkg bXkgbGlicmFyeSkuCgotIEkgZml4ZWQgc29tZSBzcGVjaWZpY2F0aW9ucyBpbiB0aGUgQ0hBUiBh bmQgU1RSSU5HIHNpZ25hdHVyZXMgdG8KY29uZm9ybSB0byB0aGUgQmFzaXMgc3BlYywgd2l0aCB0 aGUgZXhjZXB0aW9uIG9mIHRoZSBTVFJJTkcuc2Nhbgp2YWx1ZSwgd2hpY2ggc2VlbXMgdG8gYmUg c3BlY2lmaWVkIGluY29ycmVjdGx5IGluIHRoZSBCYXNpcyBzcGVjIChzZWUKaHR0cDovL21sdG9u Lm9yZy9waXBlcm1haWwvbWx0b24vMjAwNy1NYXJjaC8wMjk3MDAuaHRtbCkuCgpBdHRhY2hlZCBp cyBhIHBhdGNoIG9mIHRoZXNlIGNoYW5nZXMuCgotVmVzYSBLYXJ2b25lbgotLS0tLS0tLS0tLS0t LSBuZXh0IHBhcnQgLS0tLS0tLS0tLS0tLS0KQSBub24tdGV4dCBhdHRhY2htZW50IHdhcyBzY3J1 YmJlZC4uLgpOYW1lOiBiYXNpcy1maXhlcy5wYXRjaApUeXBlOiB0ZXh0L3gtZGlmZgpTaXplOiAx MDgyNCBieXRlcwpEZXNjOiBub3QgYXZhaWxhYmxlClVybCA6IGh0dHA6Ly9saXN0cy5pbmYuZWQu YWMudWsvbWFpbG1hbi9wcml2YXRlL3BvbHltbC9hdHRhY2htZW50cy8yMDA3MTEwNi9kMTY2MjRk Yy9iYXNpcy1maXhlcy5iaW4K