A New Binary Floating-Point Division Algorithm and Its Software Implementation on the ST231 Processor