divmod imposes higher fixed overhead in exchange for operating more efficiently on larger values.

Given the differences are small either way, and using divmod reduces scalability concerns for larger values (which are more likely to occur in code that delays normalization), I'd be inclined to stick with the simpler divmod-based implementation.