// Soft-double addition.  Lowers to __adddf3.
double dadd(double a, double b) {
    return a + b;
}