Rob, you are so fast I'm hardly able to type in your suggestions before you have an even better one I patched the Print.h und Print.cpp and included your #definitions for 64bit magic an am very happy that now everything works as expected. Thank you very much - you should add this code to future arduino-IDE-releases!