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.