enhanced GCC/Linux handling of 64-bit integers