Two zeros at infinity imply the transfer function behaves like a high-pass system, with the numerator having higher degree than the denominator by 1.
In Laplace domain, zeros at infinity increase the degree of the numerator relative to the denominator.
Thus,
\[
N = M + 1
\]