unguarded-division|HIGH|UnguardedDivision.daml|3|1|Unguarded division by 'b' — no prior > 0 check found in function 'ratio'.|a / b
