let
not_of_int z = not_of_integer z