process.stdin.resume();
process.stdin.setEncoding('utf8');
process.stdin.on("data",function(chunk){
    var line =chunk.split(" ").map(function(e){return e*1});
    var d = parseInt(line[0]/line[1]);
    var r = line[0]%line[1];
    var f = (line[0]/line[1]).toFixed(5);
    console.log(d+" "+r+" "+f);
});