Don't care about integer numbers. They aren't observed anyway anymore.
INTEGER+! and INTEGER-! have been removed.