Utilities for handling big integers in C++