softfloat: Use uint32 consistently