Pick a random number: 0.9171893571001933.