hello world with random number: 0.8538526832002177 at