なぜ有理整数の演算を受け入れているのか、という質問なら答えますよ。
2種の2項演算が定義されその演算の間に分配則が成立している代数系が稔り豊であることを知り、かつ
先人が定義した自然数に始まる数体系を合目的的な存在と認知して使うためです。