> So, about 16% slower with --enable-checking, 5% slower with > --disable-checking.
That's about an order of magnitude more than I'd expect and is very strange. To a very close approximation, the speed of integer code on modern machine is affected only by the number of cache misses. Why should this affect that>