HEXADEC floating point format is not supported.
This attribute is parsed with appropriate diagnostics.