Manticore Exercises Example: Arithmetic overflow Exercise 1: Arithmetic rounding Exercise 2: Arithmetic overflow through multiple transactions