Cast to 64 bit int for compat with 32bit linux systems (arm).