Mathematics with rational numbers