https://github.com/ftynse approved this pull request. I have had a crash from this downstream. Makes sense to have and looks consistent with the APFloat/FloatAttr counterpart that does verify flt semantics. https://github.com/llvm/llvm-project/pull/188725