Imported from ode-fixed