# Python's float is IEEE 754 double precision (double in C++).
x = float(10000.25)
print(x.as_integer_ratio(), format(x, ".1000f"))
y = 10**(-15)
print(y.as_integer_ratio(), format(y, ".1000f"))
z = x + y
print(z.as_integer_ratio(), format(z, ".1000f"))
IyBQeXRob24ncyBmbG9hdCBpcyBJRUVFIDc1NCBkb3VibGUgcHJlY2lzaW9uIChkb3VibGUgaW4gQysrKS4KeCA9IGZsb2F0KDEwMDAwLjI1KQpwcmludCh4LmFzX2ludGVnZXJfcmF0aW8oKSwgZm9ybWF0KHgsICIuMTAwMGYiKSkKCnkgPSAxMCoqKC0xNSkKcHJpbnQoeS5hc19pbnRlZ2VyX3JhdGlvKCksIGZvcm1hdCh5LCAiLjEwMDBmIikpCgp6ID0geCArIHkKcHJpbnQoei5hc19pbnRlZ2VyX3JhdGlvKCksIGZvcm1hdCh6LCAiLjEwMDBmIikpCg==
((40001, 4), '10000.2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000')
((2535301200456459L, 2535301200456458802993406410752L), '0.0000000000000010000000000000000777053998766610792383071856011950151454925617144908756017684936523437500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000')
((40001, 4), '10000.2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000')