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