Looking for a MBED OS API to convert a Big Integer to Hex string

I’m looking for a MBED OS API to convert an Big Integer (Max value: 2^73) to its representation in HEX string (such as char[20]).
For example: 7330012069639012069639 -> “18D5C5A2544AD29B107”
Im working with MCU STM32103CB