0.25519180297852