let
prop_of_int z = prop_of_integer z