hello world with random number: 0.7204625091530712 at