Fixed comment.
[BearSSL] / int /
drwxr-xr-x   ..
-rw-r--r-- 1502 i31_add.c
-rw-r--r-- 1454 i31_bitlen.c
-rw-r--r-- 3538 i31_decmod.c
-rw-r--r-- 1666 i31_decode.c
-rw-r--r-- 2634 i31_decred.c
-rw-r--r-- 2033 i31_encode.c
-rw-r--r-- 1935 i31_fmont.c
-rw-r--r-- 1349 i31_iszero.c
-rw-r--r-- 2158 i31_modpow.c
-rw-r--r-- 2777 i31_montmul.c
-rw-r--r-- 1663 i31_mulacc.c
-rw-r--r-- 4613 i31_muladd.c
-rw-r--r-- 1359 i31_ninv31.c
-rw-r--r-- 2023 i31_reduce.c
-rw-r--r-- 1483 i31_rshift.c
-rw-r--r-- 1492 i31_sub.c
-rw-r--r-- 1335 i31_tmont.c
-rw-r--r-- 1606 i32_add.c
-rw-r--r-- 1454 i32_bitlen.c
-rw-r--r-- 2256 i32_decmod.c
-rw-r--r-- 1721 i32_decode.c
-rw-r--r-- 2730 i32_decred.c
-rw-r--r-- 1699 i32_div32.c
-rw-r--r-- 1922 i32_encode.c
-rw-r--r-- 1905 i32_fmont.c
-rw-r--r-- 1349 i32_iszero.c
-rw-r--r-- 2158 i32_modpow.c
-rw-r--r-- 2027 i32_montmul.c
-rw-r--r-- 1648 i32_mulacc.c
-rw-r--r-- 4153 i32_muladd.c
-rw-r--r-- 1346 i32_ninv32.c
-rw-r--r-- 2023 i32_reduce.c
-rw-r--r-- 1606 i32_sub.c
-rw-r--r-- 1335 i32_tmont.c