hello world with random number: 0.7671545530110885 at