Aslında olay çok net, bu iki grup büyük ölçüde aynı datanın farklı formatlarda represent edilmiş halleridir. Rasyonel sayı dediğimiz şey a/b formatındaki klasik kesirlerdir. Sen bu kesri alıp bölme işlemini run ettiğinde output olarak her zaman bir ondalık sayı alırsın.

Yani aralarındaki en büyük ortak özellik birbirlerine kayıpsız convert edilebilmeleridir. Her rasyonel sayıyı ondalık formata dökebilirsin. Bu işlem sonucunda dönen ondalık sayı ya bir yerde uslu uslu biter (1/2 = 0.5 gibi) ya da sonsuza kadar aynı pattern ile kendini tekrar eder (1/3 = 0.333... gibi). Aynı şekilde, elindeki bir ondalık sayı sonluysa veya devirliyse, o sayıyı kesinlikle rasyonel bir kesre geri çevirebilirsin.

Tabii sistemde her zaman bir edge case vardır. Eğer elindeki ondalık sayı virgülden sonra ne bitiyor ne de belli bir pattern içinde tekrar ediyorsa, o data aslında model için biraz sıkıntılıdır. Pi sayısı veya karekök iki gibi bu tip sayılara irrasyonel diyoruz. Bunları a/b şeklinde yazıp rasyonel formata sokamazsın, algoritma orada patlar. Kısacası, sonlu ve devirli olan tüm ondalık sayılar arka planda bal gibi de rasyonel sayıdır.