Decimals not working in Box Edit

Rhino Rhino for Windows
5

The version in which I came across this problem is 6.4.18093.10341, 03/04/2018