// Soft-double division.  Lowers to __divdf3.
double ddiv(double a, double b) {
    return a / b;
}