#include <stdio.h>

int main(void)
{
    int c, b;

    scanf("%d %d" ,&c, &b);

    printf("%.9lf" ,(double)c/b);
    return 0;
}