Fix/implement checked_{add,sub,mul} and saturating_{add,sub} (using SPIR-V instructions were possible).
#561
+118
−67