y0 | Data.Number.MPFR.Special, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
y0_ | Data.Number.MPFR.Special, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
y1 | Data.Number.MPFR.Special, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
y1_ | Data.Number.MPFR.Special, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
yn | Data.Number.MPFR.Special, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
yn_ | Data.Number.MPFR.Special, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |