Hello, Is there any reason why we distinguish between `gmp' and `gmpxx' (the former doesn't have C++ bindings, the latter does)? I would be in favor in keeping only one variant, with C++ bindings enabled, because it doesn't pull any additional run-time dependency to have them. Thoughts? Thanks, Ludo'.