Binary expansion#Representing real numbers