Singular/Sources — pull request #679 by malex984 (2014-12-04 17:37:35+00:00)
Title: Further number/coeffs interface fixes (part2)

Further number/coeffs interface fixes (part2)

chg: correct ops. counting
fix: correct header includes
chg: minor cleanup
note: dangerous handing of BIGINTs was marked