Delete NormalTestNumbers.h