Encode an unsigned 32-bit integer as big-endian bytes.
The number to encode.
A 4-byte big-endian representation of n.
n
Encode an unsigned 32-bit integer as big-endian bytes.