hello world with random number: 0.8040529583064335 at