Added simpler exactness test and (zero? )