hello world with random number: 0.7447805520223854 at