9f85165101
Some of the items in the Tool Offset Adjustment menu (in particular, the Z Offset!!!) were only adjustable with .1mm accuracy. This is not enough. So the edit menu is switched to float52 to fix the issue.