efficient way to round to arbitrary precision in python,round(number * 2) / 2.0