$U256: $.Shape<bigint, bigint> = $.u256