Preservation of Lyapunov-Theoretic Proofs : From Real to Floating-Point Arithmetic