Multiplying Floating Point Binary Numbers