INT c< REAL by Th2, Th4, XBOOLE_1:56;