remove intToString(), provide proper stream output operators