Improve Ada.Calendar.Formatting and Ada.Real_Time not to depend on System.Arith_64
Remove the body of the implementation unit System.Exp_Mod
Improve the exponentiations of non-binary modular types
Fix overflow-check of Ada.Calendar.Formatting
Improve overflow-check of integer multiplication