hello world with random number: 0.6424511454468912 at