( not REAL is bounded_below & not REAL is bounded_above )