十进制数23.5的二进制表示是