updated the definition of Integer type, re/defined some Integer functions