The inflation-indexed bond markets were not well developed in the 1980’s. But we do know that in 1984 the best-developed such market (in the United Kingdom) was quoting long-term real interest rates of only around 3% – far below the IMF’s figure.