fact: Definition no_answer (n : positive) (r : myAR) := let m := iter_pos _ (Pmult 10) 1%positive n in let _ := approximate r (Qpos2QposInf (1#m)) in tt.
imports: Bignums.BigZ.BigZ CRArith model.totalorder.QposMinMax ARbigD ARbigQ ARQ ARtrans ARsign