Rounding vertex button

[3point1415]

When a single vertex is selected in the 3D-window, a small popup window appears containing the three coordinates and copy paste buttons. Can you add a button for rounding the vertex coordinates here? Preferably with adjustable number of digits. The rounding should affect all three values at once.

[nilsschmidt1337]

I created an issue (#1192).