assert on i64s