fix 64 bits integer representation bug