化简小数9.25000等于多少