edit of floating point numbers is broken

[dd1]

editing floating point numbers in the odb editor is broken, values seem to be truncated to 3 digits after the comma: 0 is displayed as 0.000. editing 0.000001 becomes 0, editing 1.234567 becomes 1.235. K.O.

[Stefan Ritt]

Fixed.