Zero | Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
zero | Data.Number.MPFR.Misc, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
zeta | Data.Number.MPFR.Special, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
zetaw | Data.Number.MPFR.Special, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
zetaw_ | Data.Number.MPFR.Special, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
zeta_ | Data.Number.MPFR.Special, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |