add intrinsics for checked overflow add/sub/mul