P.S. Python has also a decimal.Decimal type for floats with a fixed number of digits, maybe it could be used. Or maybe not. Are we sure the damping will never change from the default value? May it enter in the directory name?