数学上“有效数字”的定义