Version number bump. Small fixes to printing, parsing and expanding (from `NumS` to `NumDefs` representation) in the numerical sort.