Now you might argue that gmp will never be the source of security problems (although I woudn’t be too convinced about that). But even then