mp.c: Check that CRT moduli are actually positive.