data type u32 (TinyGPS++)

The source code shows that gps.time.value() returns a uint32_t. I don't see where you see anything else.

A value in a uint32_t of 12351900 does NOT mean 12:35:19.00.

Post your REAL code, with serial output.