true/rational-number-in-expression.ggb