builtins.isInt 4