0.4243大还是0.42424242424242大