INITIAL: big rational numbers