Arithmetic propagators full supported