Correct the float point division architecture