Optimize the addition of two integers a bit. Enabling this option gives small
speedups.
