adding floating point numbers in python