Optimizing floating point arithmetic via post addition shift probabilities