What is the Float overflow behavior?

Using Swift
6

Do you include the leading 1? If so, wouldn’t intermediate result have extra bit?