Nettle: The return value from crc32c() is unsigned. Use push_int64() to avoid 32-bit signed integer overflows on 32-bit architectures. Fixes Nettle.crc32c("123456789") returning -486108541 on 32-bit architectures.