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.
GitLab upgrade completed. Current version is 18.3.6
https://about.gitlab.com/releases/2025/07/17/gitlab-18-2-released/
https://about.gitlab.com/releases/2025/08/21/gitlab-18-3-released/
Constants like 0.1 are no longer parsed by CoqInterval with Coq 8.13, this patch is fixing that.