def percentage()

in doc/FormattingDecisionComments/types.py [0:0]


def percentage(count, total):
    return int((count * 100)/total)