Interface FieldBoundedPropagator<T extends CalculusFieldElement<T>>