hello world with random number: 0.7238338629442169 at