Special case handling for modulo with interpolants