有理数体を有理整数環の商体で定義すればそんなの要らなくね?