var input = '';
var readable = process.stdin;
readable.resume();
readable.setEncoding( 'utf-8' );
readable.on( 'data', function( chunk ) {
  var data = chunk.replace( '\n', '' ).split( ' ' ).map( Number );
  var d = data[0]/data[1];
  var r = data[0]%data[1];
  console.log( '%d %d', Math.floor( d ), r, d.toFixed( 6 ) );

});