fix int/int64