Numeric.Decidable.Zero
class
DecidableZero
r