0.25902080535889