print_float with float type, therefore with a rounding problem of the way Python stores floats