Various calculation utilities for Abacus applications (i.e. AdditiveCongruence and LinearCongruence).