hello world with random number: 0.7958535172798725 at