hello world with random number: 0.7940129770482777 at