mp_rational: conversion operator.