0.999...=1(r4 RAW)