convert 7.125 base 10 to binary​