Company DEF has $310 million (par value) of 12-year bonds outstanding with a coupon rate of 5.34% p.a. and interest paid annually. The company has a BB credit rating. Companies with similar credit ratings are currently paying a premium of 340 basis points (3.4%) above the yield of similar term U.S. Treasury bonds of 1.32% p.a. The company faces a marginal tax rate of 23 percent. What would be the market value of the bonds (in $ millions, rounded to one decimal place, e.g.,123.4) to be used when calculating the company's weighted average cost of capital? Round your answer to 1 decimal place. Please show all work and how to set up in excel.