有理数と言う事は結局整数の組でしょ？
そうなるとその２つの整数を構成してる素数たちの性質が怪しすぎることになりそう。
まあ、普通に超越数でいいんだけど・・・