[FOLD] replace int64