merge_table.pl: fixed bug in rounding final grades, due to binary float precision