template<class Stream, class T>
typename std::enable_if<std::is_floating_point<T>::value,Stream>::type&
operator<<(Stream& out, T t) {
  out << " float:";
  out.operator<<(t);
  out << ":";
  return out;
}