Little improvement in the 'div' operator