Correctly decode uint32