double precision floating point numbers in python