powered by
Take fractionary part and make its binary expansion Auxiliary function used in expanding real numbers
fracbinary(x)
Binary expansion of length 31 of the decimal input
is a number between 0 and 1