Fixed issue with stream.h where numeric types were not printed correctly.