ceil以及double的精度问题