I pulled this from paths.h, which includes both openpilot.h and pios.h. Looking at openpilot.h, it already includes pios.h, so I now see what you mean through your question. The math functions need the typedefs for integers-- e.g. uint8_t, int16_t, etc..-- which come handily from openpilot.h/pios.h.