Re: [GHC] #3304: define gcd 0 0 = 0