int propagation