chg: removed Singular/bigintm.*