fosdem2024_bigint: improve sv.adde diagram