How to convert fmpq to Int

What is fmpq? Please read: