Key lenght is forced to be a round number

[Geckooooooo]

What version of OpenSCAD are you on?
OpenSCAD 2021.01

Describe the bug
In the OpenSCAD customiser, I can only set the key lenght parameter to a round number, it won't allow me to put any digits after the comma. Can't neither copy and paste a number with decimals in the text box.

To Reproduce
Steps to reproduce the behavior:

1. Well just open the OpenSCAD customiser an try to set the key lenght parameter to 1,25 u or 6,25 u for example.

Additional context