pub type U256 = UInt<{_: usize}>;
256-bit unsigned big integer.
Converts to this type from the input type.