merge_table.pl: fixed bug in rounding final grades by adding 1/1024 to the weighted sum of each student's grades.