hello world with random number: 0.7398687359623322 at