Review: safe math only

[bedeho]

Any arithmetic (*,/,-,+) which is not saturating should be replaced, one grave example in submit_oracle_judgement already slipped through auditors because we did not follow this convention, found by Lezek123 .

┆Issue is synchronized with this Asana task by Unito