Number rounding Python script