Display DOF values with correct rounding, and remove unnecessary 'float' casts.