add rational number spec