Changed speed benchmark for i31 to a 521-bit modulus.
[BearSSL] / src / int / i31_add.c
2016-11-02 Thomas PorninInitial import.