>>12
ですから、実数よりも密な数体系が存在するんですよ。