RTL VM: Avoid signed overflows in 'add1' and 'sub1'.