有理数型