阿里华为等大厂如何处理数值精度/舍入/溢出问题