is carefully written to rely on undefined behaviour in the C++ specification - perhaps so it can be hardware accelerated in future.
lol. Never heard of someone "carefuly writing" something to rely on "undefined behaviour".
That clearly looks like a bug. Even the total monetary supply chart given in the BIP.