random real and integer number generators added