let ``No.128 お年玉(1)``() =

  let N = stdin.ReadLine() |> float
  let M = stdin.ReadLine() |> float
  match M with
  | 0. -> 0.
  | _ -> (N / M / 1000.)
  |> System.Math.Truncate
  |> fun sum -> sum * 1000.
  |> stdout.WriteLine

``No.128 お年玉(1)``()