In particular "0.333...;...000..." and "0.999...;...000..." do not correspond to any number.
特に "0.333⋯;⋯000⋯" や "0.999⋯;⋯000⋯" は何の数とも対応しない。