Strength reduce intrinsics with overflow into regular arithmetic operations if possible.