0.25519704818726