Forgotten RealInfinite module.