================================
objspace.std.optimized\_int\_add
================================

* **name:** optimized\_int\_add

* **description:** special case the addition of two integers in BINARY\_ADD

* **command-line:** --objspace-std-optimized\_int\_add

* **command-line for negation:** --no-objspace-std-optimized\_int\_add

* **option type:** boolean option

* **default:** False




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