Added `with compare` to types

added infinity to the number type, removed integer number
implementation.