Update BigNumbersFast.h