0.25是不是正分数