initial rational arith