Integer remove digit after dot

[PieterP]

You start with a short integer number, then you cast (convert) it to a floating point number by storing it in a variable of type float. By default, printing a float prints two decimal digits.

Pieter