div

<< obj1  obj2 div obj3 >>
obj3 is obj1/obj2
cf. data_conversion (numerator, denominator, cancel)