#include <stdio.h>

int main() {
    int a, b;
    scanf("%d %d",&a,&b);
    printf("%.3f",(double)a/b);
    return 0;
}