#include<cstdio> int main() { int a; int b; scanf("%d%d",&a,&b); double s=double(a)/b; printf("%.9f",s); }