>>1
時間を計測するのに、実数の物差しを使っているわけで
必要なときに目盛りを当てるだけ。
実数の物差し上の点を数えているわけじゃない。
デデキント切断で分かるように、いかなる時間の点も
実数で表せることが必要なだけ。