5’4”? 5’7”? 5’8”? How tall is Bloomberg, anyway?