crc32 is an unsigned 32 bit number.