python large floating point numbers