Add builtin methods for int type