pi | Data.Number.ER.Real.Approx.Elementary, Data.Number.ER.Real, Data.Number.ER |
Plus | Data.Number.ER.PlusMinus |
plusDown | Data.Number.ER.Misc |
PlusInfinity | Data.Number.ER.ExtendedInteger |
plusInfinity | Data.Number.ER.Real.Base |
PlusMinus | Data.Number.ER.PlusMinus |
plusUp | Data.Number.ER.Misc |
prec2effIx | Data.Number.ER.BasicTypes, Data.Number.ER.Real.Base, Data.Number.ER.Real, Data.Number.ER |
prec2gran | Data.Number.ER.BasicTypes, Data.Number.ER.Real.Base, Data.Number.ER.Real, Data.Number.ER |
Precision | Data.Number.ER.BasicTypes, Data.Number.ER.Real.Base, Data.Number.ER.Real, Data.Number.ER |
productDown | Data.Number.ER.Misc |
productUp | Data.Number.ER.Misc |