fix type bound in Integrator interface