work towards legalizing i64 add