hello world with random number: 0.25918051501718775 at