Improve the exponentiations of non-binary modular types
Use no System.Unsigned_Types in examples
Fix overflow-check of Ada.Calendar.Formatting
Improve overflow-check of integer multiplication