* Optimize reactive_div a little bit.