Gives a around 5% performance win: https://coq-speed.mpi-sws.org/d/Ne7jkX6kk/coq-speed?orgId=1&var-metric=instructions&var-project=refinedc&var-branch=All&var-config=All&var-group=%28%29.%2A&from=1684544604618&to=1685458516969