ついでにいうと、海外投資家が購入していたって、「日本円」で償還する分には問題なかろう。