展开 十进制0.25转为八进制怎么算