correct Num closure.

Though it's a trivial and boring property