Index - F
| Finite | |
| 1 (Data Constructor) | Data.Number.ER.ExtendedInteger |
| 2 (Data Constructor) | Data.Number.ER.Real.Base.Rational |
| floatBounds | Data.Number.ER.Real.Approx, Data.Number.ER.Real, Data.Number.ER |
| fromDouble | Data.Number.ER.Real.Base |
| fromFloat | Data.Number.ER.Real.Base |