use native 64bit integers if available