I am working with a Python script that prints many floating point numbers. Within each print command, I use round(x, 3) to round the printed number x to 3 decimal places before printing. Here is a simplified example: