Double-Precision Floating-Point Format