Hammer Bug: Loss of UV precision after using Face Edit Sheet, Hammer rounds values up

[luxeleios]

Describe the bug

After clicking Apply with a face selected in Face Edit Sheet, Hammer rounds values up which screws the uv precision and shifts the uvs around, the magnitude of that seems to depend on the size of the brush.

Example

before

			"uaxis" "[0.377484 0 -0.926016 82.1118] 11.3587"
			"vaxis" "[0.926016 0 0.377484 18.5001] 8.7284"

after

			"uaxis" "[0.377484 0 -0.926016 82] 11.359"
			"vaxis" "[0.926016 0 0.377484 19] 8.728"

This is the only context where it does that, scaling the brush with texture lock on, rotating it, replacing materials via replace material function do not alter any values. Doing anything other than replacing materials en-masse in the Face Edit does change the values.

To Reproduce

Open the example_baduv.vmf map, open Face Edit Sheet and select the big face, click apply.

Issue Map

example_baduv - before applying changes https://github.com/luxeleios/dump/blob/main/example_baduv.vmf

example_baduv22 - after https://github.com/luxeleios/dump/blob/main/example_baduv22.vmf

Expected Behavior

Keep the UV precision as is, since both the game and the editor can handle it.

Operating System

Windows 10 Build 19045