Data.Number.MPFR.FFIhelper

Documentation

data RoundMode

Constructors

Near

Zero

Up

Down

MPFR_RNDNA

Instances

Enum RoundMode

Methods

succ :: RoundMode -> RoundMode

pred :: RoundMode -> RoundMode

toEnum :: Int -> RoundMode

fromEnum :: RoundMode -> Int

enumFrom :: RoundMode -> [RoundMode]

enumFromThen :: RoundMode -> RoundMode -> [RoundMode]

enumFromTo :: RoundMode -> RoundMode -> [RoundMode]

enumFromThenTo :: RoundMode -> RoundMode -> RoundMode -> [RoundMode]

Read RoundMode

Methods

readsPrec :: Int -> ReadS RoundMode

readList :: ReadS [RoundMode]

readPrec :: ReadPrec RoundMode

readListPrec :: ReadPrec [RoundMode]

Show RoundMode

Methods

showsPrec :: Int -> RoundMode -> ShowS

show :: RoundMode -> String

showList :: [RoundMode] -> ShowS

data MPFR

Constructors

MP

Fields

• precision :: !CPrecision
• sign :: !Sign
• exponent :: !Exp
• limbs :: !(ForeignPtr Limb)

Instances

Generic MPFR

Associated Types

type Rep MPFR :: * -> *

Methods

from :: MPFR -> Rep MPFR x

to :: Rep MPFR x -> MPFR

Storable MPFR

Methods

sizeOf :: MPFR -> Int

alignment :: MPFR -> Int

peekElemOff :: Ptr MPFR -> Int -> IO MPFR

pokeElemOff :: Ptr MPFR -> Int -> MPFR -> IO ()

peekByteOff :: Ptr b -> Int -> IO MPFR

pokeByteOff :: Ptr b -> Int -> MPFR -> IO ()

peek :: Ptr MPFR -> IO MPFR

poke :: Ptr MPFR -> MPFR -> IO ()

type Rep MPFR

type Rep MPFR = D1 (MetaData "MPFR" "Data.Number.MPFR.FFIhelper" "hmpfr-0.4.3-EQnajyEAF1SArVEfUNHYSY" False) (C1 (MetaCons "MP" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "precision") SourceUnpack SourceStrict DecidedStrict) (Rec0 CPrecision)) (S1 (MetaSel (Just Symbol "sign") SourceUnpack SourceStrict DecidedStrict) (Rec0 Sign))) ((:*:) (S1 (MetaSel (Just Symbol "exponent") SourceUnpack SourceStrict DecidedStrict) (Rec0 Exp)) (S1 (MetaSel (Just Symbol "limbs") SourceUnpack SourceStrict DecidedStrict) (Rec0 (ForeignPtr Limb))))))

newtype Precision

Constructors

Precision

Fields

• runPrec :: Word

Instances

Enum Precision

Methods

succ :: Precision -> Precision

pred :: Precision -> Precision

toEnum :: Int -> Precision

fromEnum :: Precision -> Int

enumFrom :: Precision -> [Precision]

enumFromThen :: Precision -> Precision -> [Precision]

enumFromTo :: Precision -> Precision -> [Precision]

enumFromThenTo :: Precision -> Precision -> Precision -> [Precision]

Eq Precision

Methods

(==) :: Precision -> Precision -> Bool

(/=) :: Precision -> Precision -> Bool

Integral Precision

Methods

quot :: Precision -> Precision -> Precision

rem :: Precision -> Precision -> Precision

div :: Precision -> Precision -> Precision

mod :: Precision -> Precision -> Precision

quotRem :: Precision -> Precision -> (Precision, Precision)

divMod :: Precision -> Precision -> (Precision, Precision)

toInteger :: Precision -> Integer

Num Precision

Methods

(+) :: Precision -> Precision -> Precision

(-) :: Precision -> Precision -> Precision

(*) :: Precision -> Precision -> Precision

negate :: Precision -> Precision

abs :: Precision -> Precision

signum :: Precision -> Precision

fromInteger :: Integer -> Precision

Ord Precision

Methods

compare :: Precision -> Precision -> Ordering

(<) :: Precision -> Precision -> Bool

(<=) :: Precision -> Precision -> Bool

(>) :: Precision -> Precision -> Bool

(>=) :: Precision -> Precision -> Bool

max :: Precision -> Precision -> Precision

min :: Precision -> Precision -> Precision

Real Precision

Methods

toRational :: Precision -> Rational

Show Precision

Methods

showsPrec :: Int -> Precision -> ShowS

show :: Precision -> String

showList :: [Precision] -> ShowS

peekNoLimbPrec :: Ptr MPFR -> IO (Sign, Exp)

peekP :: Ptr MPFR -> ForeignPtr Limb -> IO MPFR

withDummy :: Precision -> (Ptr MPFR -> IO CInt) -> IO (MPFR, Int)

pokeDummy :: Ptr MPFR -> ForeignPtr Limb -> Precision -> IO ()

bitsPerMPLimb :: Int

bitsPerIntegerLimb :: Int

expZero :: Exp

expNaN :: Exp

expInf :: Exp

type CRoundMode = CInt

type Limb = Word64

type Sign = Int32

type CPrecision = Int64

type Exp = Int64

type MpSize = Int64

initS :: CPrecision -> IO (Ptr MPFR)

new_gmp_randstate :: IO (Ptr GmpRandState)

mpfr_urandomb_deref_randstate :: Ptr MPFR -> Ptr GmpRandState -> IO Int

type GmpRandState = ()

mpfr_get_prec :: Ptr MPFR -> IO CPrecision

mpfr_set :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_set_ui :: Ptr MPFR -> CULong -> CRoundMode -> IO CInt

mpfr_set_si :: Ptr MPFR -> CLong -> CRoundMode -> IO CInt

mpfr_set_d :: Ptr MPFR -> CDouble -> CRoundMode -> IO CInt

mpfr_set_ui_2exp :: Ptr MPFR -> CULong -> Exp -> CRoundMode -> IO CInt

mpfr_set_si_2exp :: Ptr MPFR -> CLong -> Exp -> CRoundMode -> IO CInt

mpfr_set_str :: Ptr MPFR -> CString -> CInt -> CRoundMode -> IO CInt

mpfr_strtofr :: Ptr MPFR -> CString -> Ptr (Ptr CChar) -> CInt -> CRoundMode -> IO CInt

mpfr_set_inf :: Ptr MPFR -> CInt -> IO ()

mpfr_set_nan :: Ptr MPFR -> IO ()

mpfr_swap :: Ptr MPFR -> Ptr MPFR -> IO ()

mpfr_get_d :: Ptr MPFR -> CRoundMode -> IO CDouble

mpfr_get_d_2exp :: Ptr CLong -> Ptr MPFR -> CRoundMode -> IO CDouble

mpfr_get_si :: Ptr MPFR -> CRoundMode -> IO CLong

mpfr_get_ui :: Ptr MPFR -> CRoundMode -> IO CULong

mpfr_get_str :: CString -> Ptr Exp -> CInt -> CUInt -> Ptr MPFR -> CRoundMode -> IO CString

mpfr_free_str :: CString -> IO ()

mpfr_fits_ulong_p :: Ptr MPFR -> CRoundMode -> IO CInt

mpfr_fits_slong_p :: Ptr MPFR -> CRoundMode -> IO CInt

mpfr_fits_uint_p :: Ptr MPFR -> CRoundMode -> IO CInt

mpfr_fits_sint_p :: Ptr MPFR -> CRoundMode -> IO CInt

mpfr_fits_ushort_p :: Ptr MPFR -> CRoundMode -> IO CInt

mpfr_fits_sshort_p :: Ptr MPFR -> CRoundMode -> IO CInt

mpfr_fits_intmax_p :: Ptr MPFR -> CRoundMode -> IO CInt

mpfr_fits_uintmax_p :: Ptr MPFR -> CRoundMode -> IO CInt

mpfr_add :: Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_add_ui :: Ptr MPFR -> Ptr MPFR -> CULong -> CRoundMode -> IO CInt

mpfr_add_si :: Ptr MPFR -> Ptr MPFR -> CLong -> CRoundMode -> IO CInt

mpfr_add_d :: Ptr MPFR -> Ptr MPFR -> CDouble -> CRoundMode -> IO CInt

mpfr_sub :: Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_ui_sub :: Ptr MPFR -> CULong -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_sub_ui :: Ptr MPFR -> Ptr MPFR -> CULong -> CRoundMode -> IO CInt

mpfr_si_sub :: Ptr MPFR -> CLong -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_sub_si :: Ptr MPFR -> Ptr MPFR -> CLong -> CRoundMode -> IO CInt

mpfr_sub_d :: Ptr MPFR -> Ptr MPFR -> CDouble -> CRoundMode -> IO CInt

mpfr_d_sub :: Ptr MPFR -> CDouble -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_mul :: Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_mul_ui :: Ptr MPFR -> Ptr MPFR -> CULong -> CRoundMode -> IO CInt

mpfr_mul_si :: Ptr MPFR -> Ptr MPFR -> CLong -> CRoundMode -> IO CInt

mpfr_mul_d :: Ptr MPFR -> Ptr MPFR -> CDouble -> CRoundMode -> IO CInt

mpfr_sqr :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_div :: Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_ui_div :: Ptr MPFR -> CULong -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_div_ui :: Ptr MPFR -> Ptr MPFR -> CULong -> CRoundMode -> IO CInt

mpfr_si_div :: Ptr MPFR -> CLong -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_div_si :: Ptr MPFR -> Ptr MPFR -> CLong -> CRoundMode -> IO CInt

mpfr_div_d :: Ptr MPFR -> Ptr MPFR -> CDouble -> CRoundMode -> IO CInt

mpfr_d_div :: Ptr MPFR -> CDouble -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_sqrt :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_sqrt_ui :: Ptr MPFR -> CULong -> CRoundMode -> IO CInt

mpfr_rec_sqrt :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_cbrt :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_root :: Ptr MPFR -> Ptr MPFR -> CULong -> CRoundMode -> IO CInt

mpfr_pow :: Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_pow_ui :: Ptr MPFR -> Ptr MPFR -> CULong -> CRoundMode -> IO CInt

mpfr_pow_si :: Ptr MPFR -> Ptr MPFR -> CLong -> CRoundMode -> IO CInt

mpfr_ui_pow_ui :: Ptr MPFR -> CULong -> CULong -> CRoundMode -> IO CInt

mpfr_ui_pow :: Ptr MPFR -> CULong -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_neg :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_abs :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_dim :: Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_mul_2ui :: Ptr MPFR -> Ptr MPFR -> CULong -> CRoundMode -> IO CInt

mpfr_mul_2si :: Ptr MPFR -> Ptr MPFR -> CLong -> CRoundMode -> IO CInt

mpfr_div_2ui :: Ptr MPFR -> Ptr MPFR -> CULong -> CRoundMode -> IO CInt

mpfr_div_2si :: Ptr MPFR -> Ptr MPFR -> CLong -> CRoundMode -> IO CInt

mpfr_cmp :: Ptr MPFR -> Ptr MPFR -> IO CInt

mpfr_cmp_ui :: Ptr MPFR -> CULong -> IO CInt

mpfr_cmp_si :: Ptr MPFR -> CLong -> IO CInt

mpfr_cmp_d :: Ptr MPFR -> CDouble -> IO CInt

mpfr_cmp_ui_2exp :: Ptr MPFR -> CULong -> Exp -> IO CInt

mpfr_cmp_si_2exp :: Ptr MPFR -> CLong -> Exp -> IO CInt

mpfr_cmpabs :: Ptr MPFR -> Ptr MPFR -> IO CInt

mpfr_nan_p :: Ptr MPFR -> IO CInt

mpfr_inf_p :: Ptr MPFR -> IO CInt

mpfr_number_p :: Ptr MPFR -> IO CInt

mpfr_zero_p :: Ptr MPFR -> IO CInt

mpfr_sgn :: Ptr MPFR -> IO CInt

mpfr_greater_p :: Ptr MPFR -> Ptr MPFR -> IO CInt

mpfr_greaterequal_p :: Ptr MPFR -> Ptr MPFR -> IO CInt

mpfr_less_p :: Ptr MPFR -> Ptr MPFR -> IO CInt

mpfr_lessequal_p :: Ptr MPFR -> Ptr MPFR -> IO CInt

mpfr_lessgreater_p :: Ptr MPFR -> Ptr MPFR -> IO CInt

mpfr_equal_p :: Ptr MPFR -> Ptr MPFR -> IO CInt

mpfr_unordered_p :: Ptr MPFR -> Ptr MPFR -> IO CInt

mpfr_log :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_log2 :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_log10 :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_exp :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_exp2 :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_exp10 :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_sin :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_cos :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_tan :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_sec :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_csc :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_cot :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_sin_cos :: Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_asin :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_acos :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_atan :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_atan2 :: Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_cosh :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_sinh :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_tanh :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_sinh_cosh :: Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_sech :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_csch :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_coth :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_asinh :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_acosh :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_atanh :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_fac_ui :: Ptr MPFR -> CULong -> CRoundMode -> IO CInt

mpfr_log1p :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_expm1 :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_li2 :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_eint :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_gamma :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_lngamma :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_lgamma :: Ptr MPFR -> Ptr CInt -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_digamma :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_zeta :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_zeta_ui :: Ptr MPFR -> CULong -> CRoundMode -> IO CInt

mpfr_erf :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_erfc :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_j0 :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_j1 :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_jn :: Ptr MPFR -> CLong -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_y0 :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_y1 :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_yn :: Ptr MPFR -> CLong -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_fma :: Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_fms :: Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_agm :: Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_hypot :: Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_const_log2 :: Ptr MPFR -> CRoundMode -> IO CInt

mpfr_const_pi :: Ptr MPFR -> CRoundMode -> IO CInt

mpfr_const_euler :: Ptr MPFR -> CRoundMode -> IO CInt

mpfr_const_catalan :: Ptr MPFR -> CRoundMode -> IO CInt

mpfr_free_cache :: IO ()

mpfr_sum :: Ptr MPFR -> Ptr (Ptr MPFR) -> CULong -> CRoundMode -> IO CInt

mpfr_rint :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_ceil :: Ptr MPFR -> Ptr MPFR -> IO CInt

mpfr_floor :: Ptr MPFR -> Ptr MPFR -> IO CInt

mpfr_round :: Ptr MPFR -> Ptr MPFR -> IO CInt

mpfr_trunc :: Ptr MPFR -> Ptr MPFR -> IO CInt

mpfr_rint_ceil :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_rint_floor :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_rint_round :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_rint_trunc :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_frac :: Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_modf :: Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_fmod :: Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_remainder :: Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_remquo :: Ptr MPFR -> Ptr CLong -> Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_integer_p :: Ptr MPFR -> IO CInt

mpfr_nexttoward :: Ptr MPFR -> Ptr MPFR -> IO ()

mpfr_nextabove :: Ptr MPFR -> IO ()

mpfr_nextbelow :: Ptr MPFR -> IO ()

mpfr_min :: Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_max :: Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_urandomb :: Ptr MPFR -> Ptr GmpRandState -> IO ()

mpfr_get_exp :: Ptr MPFR -> IO Exp

mpfr_set_exp :: Ptr MPFR -> Exp -> IO CInt

mpfr_signbit :: Ptr MPFR -> IO CInt

mpfr_setsign :: Ptr MPFR -> Ptr MPFR -> CInt -> CRoundMode -> IO CInt

mpfr_copysign :: Ptr MPFR -> Ptr MPFR -> Ptr MPFR -> CRoundMode -> IO CInt

mpfr_get_emin :: IO Exp

mpfr_get_emax :: IO Exp

mpfr_set_emin :: Exp -> IO CInt

mpfr_set_emax :: Exp -> IO CInt

mpfr_get_emin_min :: IO Exp

mpfr_get_emin_max :: IO Exp

mpfr_get_emax_min :: IO Exp

mpfr_get_emax_max :: IO Exp

mpfr_check_range :: Ptr MPFR -> CInt -> CRoundMode -> IO CInt

mpfr_subnormalize :: Ptr MPFR -> CInt -> CRoundMode -> IO CInt

mpfr_clear_underflow :: IO ()

mpfr_clear_overflow :: IO ()

mpfr_clear_nanflag :: IO ()

mpfr_clear_inexflag :: IO ()

mpfr_clear_erangeflag :: IO ()

mpfr_set_underflow :: IO ()

mpfr_set_overflow :: IO ()

mpfr_set_nanflag :: IO ()

mpfr_set_inexflag :: IO ()

mpfr_set_erangeflag :: IO ()

mpfr_clear_flags :: IO ()

mpfr_underflow_p :: IO CInt

mpfr_overflow_p :: IO CInt

mpfr_nanflag_p :: IO CInt

mpfr_inexflag_p :: IO CInt

mpfr_erangeflag_p :: IO CInt

mpfr_custom_get_size :: CPrecision -> IO Word64

mpfr_custom_init :: Ptr Word64 -> CPrecision -> IO ()

mpfr_custom_init_set :: Ptr MPFR -> CInt -> Exp -> CPrecision -> Ptr Limb -> IO ()

mpfr_custom_get_kind :: Ptr MPFR -> IO CInt

mpfr_custom_get_mantissa :: Ptr MPFR -> IO (Ptr Limb)

mpfr_custom_get_exp :: Ptr MPFR -> IO Exp

mpfr_custom_move :: Ptr MPFR -> Ptr Word64 -> IO ()