Currently the batch_grade_pull.sh script only records whole grades. So a grade of 4.5/5 will be mistakenly recorded as 5/5. This should be fixed in the script to accept partial points, parsing at a space before /5 instead of grabbing the single previous character.