Symbol: prop_equals_integer