large integer and libstdc++ work