十进制0.25转化为八进制怎么算