Fix gateway quiz bug and rounding

This fixes a bug when a problem using the weighter grader package in a problem in a Gateway quiz.  Before, one place which shows the score for the current attempt could give a different score from the actual score of the attempt.  This also rounds scores on Gateway pages to five decimal places.