Definition. rdiv_eq
a/b = a⋅(/b)