Data.Number.MPFR.Instances.Zero