因为输出小数点后 $9$ 位，所以printf("%.9lf",a/b);。

#include <bits/stdc++.h>
using namespace std;
int main()
{
    double a,b,c;
    cin>>a>>b;
    printf("%.9lf",a/b);
    return 0;
}