float32_t __float32_div(float32_t dividend, float32_t divisor);
__float32_div divides dividend by divisor and returns the quotient as the result.