0.5219594540677523