Good point @czietz, I didn't think of that.
It's quite possible some of these interfaces won't emulate rarely used features correctly.
Do you know what version of the Eiffel?
According to this page, it should emulate IKBD_SET_MOUSE_SCALE since version 1.04
https://didierm.pagesperso-orange.fr/eiffel-e.htm
But in any case, given the presence of various IKBD emulation interfaces, it still feels safer to avoid using that feature and stick to just the basic ones.
I can accomplish the same thing in software anyway.