fpu: Replace int32 typedef with int32_t