wdiv | Data.Number.MPFR.Arithmetic, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
wdiv_ | Data.Number.MPFR.Arithmetic, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
wpow | Data.Number.MPFR.Arithmetic, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
wpoww | Data.Number.MPFR.Arithmetic, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
wpoww_ | Data.Number.MPFR.Arithmetic, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
wpow_ | Data.Number.MPFR.Arithmetic, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
wsub | Data.Number.MPFR.Arithmetic, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |
wsub_ | Data.Number.MPFR.Arithmetic, Data.Number.MPFR.Near, Data.Number.MPFR.Up, Data.Number.MPFR.Down, Data.Number.MPFR.Zero, Data.Number.MPFR |