let prop_of_int z = prop_of_integer  z