0.25519895553589