Numeric.Domain.Euclidean
class
Euclidean
r
prs
normalize
gcd'
leadingUnit
chineseRemainder