Proving Rationality of Numbers