Add units test for modulo, negativity, construction with negatives.