217c217
< fault = new ArithmeticFault();
---
> fault = new IntegerOverflowFault();
226c226
< fault = new ArithmeticFault();
---
> fault = new IntegerOverflowFault();
330c330
< fault = new ArithmeticFault();
---
> fault = new IntegerOverflowFault();