Add trivial division on integers, and a mixed test.