>>155
それってどれ?
0.54513ってやつ?
これが0.54512でも0.54514でもなく0.54513であるという証明は?