PL/SQL and JSON type conversions

declare
  type money_rec is record (
    currency_code char(3),
    amount        number
  );

  type country_price_arr is table of money_rec
    index by varchar2(2);

  country_prices country_price_arr;
  price_json     json;
begin
  country_prices := country_price_arr (
    'US' => money_rec ( 'USD', 9.99 ),
    'GB' => money_rec ( 'GBP', 8.99 ),
    'DE' => money_rec ( 'EUR', 8.99 ),
    'IN' => money_rec ( 'INR', 849 )
  );

  /* Automatically convert PL/SQL types to JSON by passing to JSON constructor */
  price_json := json ( country_prices );

  dbms_output.put_line ( json_serialize ( price_json returning clob pretty ) );

  for country, price in pairs of
     /* Convert JSON to PL/SQL types with JSON_value */
     json_value ( price_json, '$' returning country_price_arr )
  loop
    dbms_output.put_line (
      country || ' = ' || price.currency_code || to_char ( price.amount, '990.00' )
    );
  end loop;
end;
/

SQL> declare
  2    type money_rec is record (
  3      currency_code char(3),
  4      amount        number
  5    );
  6
  7    type country_price_arr is table of money_rec
  8      index by varchar2(2);
  9
 10    country_prices country_price_arr;
 11    price_json     json;
 12  begin
 13    country_prices := country_price_arr (
 14      'US' => money_rec ( 'USD', 9.99 ),
 15      'GB' => money_rec ( 'GBP', 8.99 ),
 16      'DE' => money_rec ( 'EUR', 8.99 ),
 17      'IN' => money_rec ( 'INR', 849 )
 18    );
 19
 20    /* Automatically convert PL/SQL types to JSON by passing to JSON constructor */
 21    price_json := json ( country_prices );
 22
 23    dbms_output.put_line ( json_serialize ( price_json returning clob pretty ) );
 24
 25    for country, price in pairs of
 26       /* Convert JSON to PL/SQL types with JSON_value */
 27       json_value ( price_json, '$' returning country_price_arr )
 28    loop
 29      dbms_output.put_line (
 30        country || ' = ' || price.currency_code || to_char ( price.amount, '990.00' )
 31      );
 32    end loop;
 33  end;
 34  /
{
  "DE" :
  {
    "CURRENCY_CODE" : "EUR",
    "AMOUNT" : 8.99
  },
  "GB" :
  {
    "CURRENCY_CODE" : "GBP",
    "AMOUNT" : 8.99
  },
  "IN" :
  {
    "CURRENCY_CODE" : "INR",
    "AMOUNT" : 849
  },
  "US" :
  {
    "CURRENCY_CODE" : "USD",
    "AMOUNT" : 9.99
  }
}
DE = EUR   8.99
GB = GBP   8.99
IN = INR 849.00
US = USD   9.99