https://libre-soc.org/openpower/sv/svp64/appendix/ could someone please check the new section about CA/CA32, am i right and is it clear that a chain of adde's (sv.adde) would in fact be a "Big Integer Add"? and if so, is it reasonable to optimise at the backend with some parallel lookahead carry? l.