Handle new representation of rational constants in Coq 8.13
Constants like 0.1
are no longer parsed by CoqInterval with Coq 8.13, this patch is fixing that.
Constants like 0.1
are no longer parsed by CoqInterval with Coq 8.13, this patch is fixing that.