Implementing P3724R1 "Integer division" as a Beman library

Hey, I got started on turning P3724R1 into a Beman implementation at GitHub - bemanproject/integer_division: Implementation of P3724R1 Integer divison.

I have a few questions regarding this

  • Do we have an explanation of the minimal changes needed to convert the exemplar project into something that can be shipped, or is it basically just “figure it out”?
  • The current name integer_division is a bit verbose, and I’m unsure how to name the repo/project, namespace, etc. Do all of these need to be identical and consistent, or is it possible to abbreviate certain things like “idiv” or “intdiv”? From what I’m reading in the standard, all these need to be consistent and use the same <short_name> placeholder. Maybe beman.intdiv would be the way to go?