On Fri Nov 3 01:51:26 2023 +0000, Conor McCarthy wrote:
To keep things moving, I support doing all of that later.
The issue with `double` opcode variants gets uglier for comparison instructions, so normalisation should go upstream before that. I'll make a draft MR.