Stream insertion

Inserting a Time into an output stream:

       cout << t << endl;

produces the same output as:

       cout << t.make_string() << endl;