Update mathey.h