0.25519514083862