Divmod

Merge proposals dependent on lp://qastaging/~divmod-dev/divmod.org/axiomatic-otp-generate-2790

  1. axiomatic-otp-generate-2790
  2. Dependent merge proposals

lp://qastaging/~divmod-dev/divmod.org/axiomatic-otp-generate-2790 has no merge proposals.