https://123dok.net/document/y96rmn3r-reflexive-tactic-polynomial-positivity-numerical-solvers-floating-computations.html