0.25519680976868