A (maybe?) random number: 0.7739918987284606