$Balance: $.Shape<bigint, bigint> = $.u128