Autograded results do not keep specificity of decimals

[jlge]

Feature request from 17-681

They have rubric items (specifically deductions) that result in scores that end in 0.25, 0.75, but they get rounded up by the autograder.