Add rational number procedures.