mathematics.h no longer needs config.h, so update tablegen code and