Fair enough since we're both guessing here.
I suggest that rounding 1.2943 to three decimals and truncating 1.2943 to three decimals yields the same result...and we each made equally valid assumptions that resulted in the same thing...assumptions none-the-less. There was nothing about truncating (specifically) in the OP's question either, and the clear implication (to me) was rounding. Shows where implications get us on an internet forum.
We're off in the weeds (a tiny bit) here...it still ends up with either a defense of actions based on industry guidance which generally nets to "don't do that", or getting customer approval, or backing away and letting the engineer in question run the show. All this rest is side details.