REAL NOTZERO
      INTEGER ZERO