class interface P_SYSTEM feature(s) from P_SYSTEM floor (in: DOUBLE): INTEGER -- DOUBLE > INTEGER. double_to_real (in: DOUBLE): REAL -- DOUBLE > REAL. code_to_char (code: INTEGER): CHARACTER -- CHARACTER from code. feature(s) from P_SYSTEM -- Exceptions raise_exception (nm: STRING) -- require ok: nm /= Void ensure pseudo_exception: false end of P_SYSTEM