Need to clarify 1 / LN(2) in binary representation

91 Views Asked by At

I want to represent 1/LN(2), 1.442695041 in 32 bits binary. I found that must be 1.0111000101010100011101100101001, but a work collegue insists it needs to be shifted right and add an integer of "1", becoming 1.10111000101010100011101100101001. Can someone clarify it for me?