a minor mistake in div.c comment?

[Can Finner]

Hi,
in newlib/libc/div.c, there is following comment words:
         * r.rem will have the same sign as denom and the opposite
	 * sign of num; if both are negative and r.quot has been
	 * truncated towards -inf, r.rem will be positive (will
                                        ^----------------------------------
	 * have the opposite sign of num).
should it be "+inf"? or did I take it wrong?

Thanks very much.

-- 
Regards.