Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL