I have a python float 1.2345678. I know that it is stored as a double in C type. And I know it actually is 1010101010101 -like format. Then I want to do some bit operation on it. How? Sure, I want a float output when I finish the operation.