Symbol: prop_number_equals