Fix floating-point grading issue.