format
Merge branch 'spielwiese' of github.com:Singular/Sources into spielwiese
add: Number/NUMBER2_CMD stuff: operations, conversions, print, string, ...