hello world with random number: 0.7206079465437456 at