unguarded-division|HIGH|UnguardedDivision.daml|3|1|Unguarded division by 'n' — no prior > 0 check found in function 'share'.|div total n
