Update lib_seal_stringToReal.pas