var lines = [];
var reader = require('readline').createInterface({
  input: process.stdin,
  output: process.stdout
});
reader.on('line', function (line) {
  var a = line.split(' ');
  var b = parseInt(a[0],10);
  var c = parseInt(a[1],10); 
  var d  = b / c;
  var r = b % c;
  console.log(Math.floor(d)+' '+r+' '+d.toFixed(6));
  process.exit();
});
process.stdin.on('end', function () {
});