pub fn uint_to_be(x: &BoxedUint, len: usize) -> Result<Vec<u8>>
Fixed-length big-endian encoding of a non-negative integer.