[libsmi] Invalid XML from smidump -f xsd (fractionDigits)