missing-ensure-decimal|HIGH|MissingEnsureDecimal.daml|3|1|Template 'M' has Decimal field 'amount' with no positivity bound (e.g. `amount > 0`) in its ensure clause.|amount : Decimal  -- ensure clause does not bound this field
