simplify i64Add|Substract coercions