Regulations issued on Treasury Inflation-Protected Securities issued at a premium