0.25除0.125的简便运算