Data.Number.MPFR.Instances.Near