#include <stdio.h>

int main() {
    int n,m;
    scanf("%d %d",&n,&m);
    printf("%.12f",(double)n/m);
    return 0;
}