I think they're all great suggestions (albeit for such a tiny, irrelevant piece of code). The only problem I can think of is that the given code rounds up, but your suggestion of `int(percent * 10)` rounds down.

It's just too obvious. The metrics you're optimizing for don't matter to any of the stakeholders.