work on i64Add