they store floating point numbers as an integer and then divide it by a power of two so 13.95 will be represented in a similar fashion to 125650429603636838/(2**53).
You are here: Home / your rounded version is the same number. Since computers are binary