Prepare for next version number bump in Coq.
Could you please encode the test in the other direction to avoid having to do that kind of PR again for next Coq version (no hurry, this can be done in the next six months).