Adds a non-optimal implementation of int.__divmod__