hello world with random number: 0.8006840142194368 at