Consider using numeric-prelude's non-negative numbers instead of Integral.

(Almost) all use of the Integral class in this package expect those integers are in fact non-negative, thus we had better express our intention precisely.