Fix bug in test: unsigned // signed uses signed division.