Coq 8.11.2

[shinnar]

• Requires coq >= 8.11.2 and ocaml >= 4.08.0
• Compiles without any (default) warnings being emitted on both 8.11.2 and 8.12.0
• changes to using native floats (and removes the flocq dependency).