Minor code factorizing to sigfigroundfromstr in Data/stringmanipulations.py