HOL-ODE-Numerics.Refine_Rigorous_Numerics_Aform