conversion double float recieved to int?

Either as a fraction ... stored value / constant ... or a as fixed-point.

The two are essentially the same. What differs is the range of the constant divisor.

(2^38) / 13743895.3471 = 2000. So the divisor is 2000.