(fpu.h) Use stdint types