[mbed-tls] How does the bignum.c works?