如何在C中对两个Q31数进行小数(定点)除法？

#include <stdio.h>

int32_t q31_division(int32_t dividend, int32_t divisor) {
    float dividend_float = (float)dividend;
    float divisor_float = (float)divisor;
    
    float result_float = dividend_float / divisor_float;
    
    int32_t result_q31 = (int32_t)(result_float * (1 << 31));
    
    return result_q31;
}

int main() {
    int32_t dividend = 1000000000;  // Q31 representation of 0.5
    int32_t divisor = 2000000000;   // Q31 representation of 1.0
    
    int32_t result = q31_division(dividend, divisor);
    
    printf("Result: %f\n", (float)result / (1 << 31));
    
    return 0;
}