Comment by pclmulqdq

Many standards are ISO standards as well as a standard from some other body. I have some involvement with the floating point standard, and that is mostly an IEEE standard, but the chair of the committee does ISO standardization as well for each revision.