intToBigEndian

Encode a 32-bit unsigned value as 4 bytes big-endian.