http://benji3up2kxewkqfcq7buxk2xd6zwy3zggnurkrm3l4cvwy2iipvyyad.onion/mirrors/gmpdoc/C_002b_002b-Formatted-Input.html
This is
done separately for numerator and denominator, so that for instance
‘ 0x10/11 ’ is 16/11 and ‘ 0x10/0x11 ’ is 16/17 . Function: istream& operator>> (istream& stream , mpf_t rop ) ¶ Read rop from stream , using its ios formatting settings.