Rational number — AI Alignment Forum