Edit: mathdef.h