As far as I can tell from looking at 7.1.12, the only function from IEEE_Arithmetic that's allowed in a constant expression is IEEE_Selected_Real_Kind. Did we intend to prohibit all the others? Is there a problem with admitting the inquiry functions, and admitting the others provided their arguments are constant expressions?