CPsupport for division

[Broes De Cat]

CPsupport now only works for functions over integers. Naturally, division is not one of those, even if the input are integers. However, in many cases a division term can be rewritten as a product, which can be handled by cp if the input arguments are integers.