| pi | Data.Number.ER.Real.Approx.Elementary, Data.Number.ER.Real, Data.Number.ER |
| Plus | Data.Number.ER.BasicTypes.PlusMinus |
| plusDown | Data.Number.ER.Misc |
| PlusInfinity | Data.Number.ER.BasicTypes.ExtendedInteger |
| plusInfinity | |
| 1 (Function) | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
| 2 (Function) | Data.Number.ER.Real.Base |
| PlusMinus | Data.Number.ER.BasicTypes.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 |
| produceSummary | Data.Number.ER.Real.Approx.Tests.Reporting |
| productDown | Data.Number.ER.Misc |
| productUp | Data.Number.ER.Misc |
| props_ra_AddAssoc_eq_oi | Data.Number.ER.Real.Approx.Tests.Properties |
| props_ra_AddCommut_eq_oi | Data.Number.ER.Real.Approx.Tests.Properties |
| props_ra_ADivA_eq_oi | Data.Number.ER.Real.Approx.Tests.Properties |
| props_ra_AMinusA_eq_oi | Data.Number.ER.Real.Approx.Tests.Properties |
| props_ra_Distr_eq_oi | Data.Number.ER.Real.Approx.Tests.Properties |
| props_ra_eq_oi_unary | Data.Number.ER.Real.Approx.Tests.Properties |
| props_ra_LogExp_eq_oi | Data.Number.ER.Real.Approx.Tests.Properties |
| props_ra_MultAssoc_eq_oi | Data.Number.ER.Real.Approx.Tests.Properties |
| props_ra_MultCommut_eq_oi | Data.Number.ER.Real.Approx.Tests.Properties |
| props_ra_SinCos_eq_oi | Data.Number.ER.Real.Approx.Tests.Properties |
| props_ra_TanATan_eq_oi | Data.Number.ER.Real.Approx.Tests.Properties |