student: Use round instead of int for percentage rounding.