https://123dok.net/document/6qml3n4y-preservation-of-lyapunov-theoretic-proofs-from-real-to-floating-point-arithmetic.html