Math Classes only compatible with Coq 8.4pl4