Bring back small improvement in how division is written