Fix/implement checked_{add,sub,mul} and saturating_{add,sub} (using SPIR-V instructions were possible).
#1628
Loading