stream operators and random number generators