Numeric.Decidable.Zero

class DecidableZero r