[Description]
Note: overflow in the additions is possible, but since we will reject negative results, we don't need any extra test for that.
[System Processing]
Processing will be aborted.
[Action]
To investigate the cause of the occurrence from the message, and remove cause.