64 bit integers for Cito