They just merged my PR for the bound on the integer multiplication problem

The project offers an improved bound on integer multiplication complexity, potentially speeding up cryptographic and scientific algorithms. To adopt it, integra