Something like RealDigits in Sage?
Is there in Sagemath something like RealDigits in Mathematica for computing (binary) digits of any real number? (and not only for integers)
Can you please also explain how to transform back a non-integer binary string as '100.1000111001001' to the corresponding (approximated) base ten decimal? (not float)