hello world with random number: 0.8575539036598585 at