hello world with random number: 0.8713999788744365 at