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