Near | Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
neg | Data.Number.MPFR.Arithmetic, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
neg_ | Data.Number.MPFR.Arithmetic, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
nextAbove | Data.Number.MPFR.Misc, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
nextBelow | Data.Number.MPFR.Misc, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
nextToward | Data.Number.MPFR.Misc, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |