Fix overflow-check of Ada.Calendar.Formatting
Improve overflow-check of integer multiplication