[libsmi] libsmi numeric constraints convertion bug