New: greatest-commonfactor