math: add stdint.h