I'm tentatively willing to call that a minor enough difference to justify not splitting that up. At least it seems to me more minor than the difference between discard_nz and texkill, or D3DCOLORtoUBYTE4...
Sure, and to be clear, having e.g. "mul_ieee" and "mul_sm3" variants would certainly be fine with me; just making sure we're all fine with the implications.