#include <bits/stdc++.h>

int main() {
  std::ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  long double a, b;
  std::cin >> a >> b;
  std::cout << std::fixed << std::setprecision(30) << a / b << '\n';
}