Report question

Question: Are types like uint32, int32, uint64, int64 defined in any stdlib header?