On the bright side, we're lucky they did not use a 64-bit int.