printf("%.1f", 9.55);