floating point real numbers in python