$FixedU64: $.Shape<bigint, bigint> = $.u64