See, that’s a common mistake - MPFR library is a C library for multiple-precision floating-point computations with correct rounding. Valve is, unfortunately, still stuck to integers. Their floating point appears to be functioning correctly as they’ve managed to avoid kernel panic releasing hl2e{1,2} - you can look at that as floats 2.1 and 2.2.