fix 64 bit integer bug