A (maybe?) random number: 0.5111777644423219