Double Precision Floating Point In Python