なるほどなあ、有理数と無理数のところに納得。