In exact division, compute the workbuffer size correctly.