Added operator<< for humans (after 10,000 tries.)