Double-precision floating-point fused multiply add unit