convert 8.512 to binary​