bump elements and related dep#90

Merged

RCasatta merged 4 commits intoElementsProject:masterfrom

RCasatta:bump_elements_dep

Oct 8, 2024

Commits on Oct 2, 2024

Commits on Oct 8, 2024

avoid useless conversion of the same type
RCasatta
committed