Fixing a -Woverflow warning from GCC by using a more natural datatype for this operation. NFC.