ensurePrecision :: Precision -> RealApprox -> RealApprox
ensurePrecision prec x =
    (ArithInOut.convertOutEff prec (0:: Int)) + x
ensurePrecision :: Precision -> RealApprox -> RealApprox
ensurePrecision prec x =
    (ArithInOut.convertOutEff prec (0:: Int)) + x
ensurePrecision prec x =
    (ArithInOut.convertOutEff prec (0:: Int)) + x