DEFINITION OF REAL