Everything but u32.cnf passes (need BigInts for that).