Update and rename BigNumbers.h to BigNumbersFast.h