fix: definition of nlInit2gmp
Merge branch 'spielwiese' of github.com:Singular/Sources into spielwiese