hello world with random number: 0.25918534806585125 at