CoqEAL and fpmods packages for Coq.