Guard against integer overflow turned out to be unnecessary