var input = ""
process.stdin.resume();
process.stdin.setEncoding('utf-8');
process.stdin.on('data', function(chunk) {
  input += chunk;
});

process.stdin.on('end', function() {
  input = input.split("\n");
  i = 0
  while (input[i] != 0) {
    arr = input[i].split(" ");
    sum = 0;
    arr[0] = Number(arr[0]);
    arr[1] = Number(arr[1]);

    console.log(Math.floor(arr[0] / arr[1]));
    console.log(arr[0] % arr[1]);
    console.log((arr[0] / arr[1]).toFixed(10));

    i++;
  }
});