Type hint for @weight decorator should be float

[ChrisMayfield]

Can't remember why this was int, because we use 0.5 points all the time, especially for half_credit(). Maybe the total_score in plugin.py needs to be rounded in some cases?