To me, the natural default would seem to be 1. This is because one important use case of these types is storing numbers that will appear on the right hand side of the /
and %
operators, so the multiplicative identity seems like the best fit.
I looked for discussion about this and didn’t find any. Was this just an omission?