to be on the safe side (not that I observed any overflow, but I can't prove
it can't happen).