revert 027e5cc8. the div() standard function should not be reimplemented. create a different fix. Ticket: #4929