[0.999...]=0