Floating Point Binary Subtraction Explained