// Soft-double multiplication.  Lowers to __muldf3.
double dmul(double a, double b) {
    return a * b;
}