Initialism of highest common factor.