fix Int64 import