Don:
> such as X86_64 and D_InlineAsm_X86<
I don't like the identifier that denotes D2 code ("D_Version2").
> If there is no objection to this, I will create a patch. It's very simple.
I usually like all your proposals about floating point numbers :-)
Bye,
bearophile