#include <stdio.h> int main() { int a, b; scanf("%d %d", &a, &b); printf("%.6lf\n", (double)a / b); return 0; }