Floating Point Binary Subtraction Steps