[Freesurfer] mri_segstats more decimals?