Avoid remigrating Int64