"highest common factor"@en-us . .