Numeric.Domain.Euclidean

class Euclidean r

prs

normalize

gcd'

leadingUnit

chineseRemainder