j0 | Data.Number.MPFR.Special, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
j0_ | Data.Number.MPFR.Special, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
j1 | Data.Number.MPFR.Special, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
j1_ | Data.Number.MPFR.Special, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
jn | Data.Number.MPFR.Special, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
jn_ | Data.Number.MPFR.Special, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |