二点五乘32乘十二点五有没有简便算法