I guess you are right but I had done the benchmarking of both of them and here are the results...The divmod is slightly slower because of both operations which are done simultaneously...

                      user     system      total        real
Divmod          0.000000   0.000000   0.000000 (  0.001714)
                      user     system      total        real
regular job     0.010000   0.000000   0.010000 (  0.001681)

Can we can keep the divmod one???