hello world with random number: 0.8446744758529736 at