[Zecke]

l_high = int64 / 1024;
l_low = int64 - (l_high*1024);

printf("&d&d",l_high,l_low);

vielleicht kompliziert, müsst oba gehn