REAL c= ExtREAL by XBOOLE_1:7;