IDE: hopefully last fix about float type being passed to WxPy4.

22 months ago, Edouard Tisserant