pub(all) suberror MpfError {
  ValueError(String)
  DomainError(String)
  DivisionByZero(String)
  ParseError(String)
  FormatError(String)
  UnsupportedError(String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

type ParseState derive(Eq)

pub struct RawMpf {
  sign : Int
  man : 
@moonbitlang/core/bigint.BigInt
BigInt
  exp : Int
  bc : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub enum RoundMode {
  Nearest
  Floor
  Ceiling
  Up
  Down
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

fn _internal_keep_parse_format_size() -> Unit

let finf : RawMpf

let fnan : RawMpf

let fninf : RawMpf

let fnone : RawMpf

let fone : RawMpf

fn format_mpf(x : RawMpf, format_spec : String, dps? : Int) -> String raise MpfError

fn from_int(n : Int) -> RawMpf

fn from_man_exp(man : 
@moonbitlang/core/bigint.BigInt
BigInt, exp : Int, prec : Int, rnd : RoundMode) -> RawMpf

fn from_str(s : String, prec? : Int, rnd? : RoundMode) -> RawMpf raise MpfError

let fzero : RawMpf

fn is_finite(x : RawMpf) -> Bool

fn is_inf(x : RawMpf) -> Bool

fn is_nan(x : RawMpf) -> Bool

fn is_zero(x : RawMpf) -> Bool

fn mpf_abs(x : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf

fn mpf_add(x : RawMpf, y : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf

fn mpf_ceil(x : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf

fn mpf_cmp(x : RawMpf, y : RawMpf) -> Int

fn mpf_div(x : RawMpf, y : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf raise MpfError

fn mpf_eq(x : RawMpf, y : RawMpf) -> Bool

fn mpf_floor(x : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf

fn mpf_frac(x : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf

fn mpf_frexp(x : RawMpf) -> (RawMpf, Int) raise MpfError

fn mpf_ge(x : RawMpf, y : RawMpf) -> Bool

fn mpf_gt(x : RawMpf, y : RawMpf) -> Bool

fn mpf_hash(x : RawMpf) -> Int

fn mpf_hypot(x : RawMpf, y : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf raise MpfError

fn mpf_le(x : RawMpf, y : RawMpf) -> Bool

fn mpf_lt(x : RawMpf, y : RawMpf) -> Bool

fn mpf_min_max(seq : ArrayView[RawMpf]) -> (RawMpf, RawMpf) raise MpfError

fn mpf_mod(x : RawMpf, y : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf raise MpfError

fn mpf_mul(x : RawMpf, y : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf

fn mpf_mul_int(x : RawMpf, n : Int, prec : Int, rnd : RoundMode) -> RawMpf

fn mpf_neg(x : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf

fn mpf_nint(x : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf

fn mpf_perturb(x : RawMpf, eps_sign : Int, prec : Int, rnd : RoundMode) -> RawMpf

fn mpf_pos(x : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf

fn mpf_pow_int(x : RawMpf, n : Int, prec : Int, rnd : RoundMode) -> RawMpf raise MpfError

fn mpf_rand(prec : Int) -> RawMpf

fn mpf_rdiv_int(n : Int, x : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf raise MpfError

fn mpf_round_int(x : RawMpf, rnd : RoundMode) -> RawMpf

fn mpf_shift(x : RawMpf, n : Int) -> RawMpf

fn mpf_sign(x : RawMpf) -> Int

fn mpf_sqrt(x : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf raise MpfError

fn mpf_sub(x : RawMpf, y : RawMpf, prec : Int, rnd : RoundMode) -> RawMpf

fn mpf_sum(xs : ArrayView[RawMpf], prec : Int, rnd : RoundMode, absolute? : Bool) -> RawMpf

fn normalize(sign : Int, man : 
@moonbitlang/core/bigint.BigInt
BigInt, exp : Int, bc : Int, prec : Int, rnd : RoundMode) -> RawMpf

let round_ceiling : RoundMode

let round_down : RoundMode

let round_floor : RoundMode

let round_nearest : RoundMode

let round_up : RoundMode

fn to_str(x : RawMpf) -> String raise MpfError

fn to_str_opts(x : RawMpf, dps? : Int, base? : Int, binary_exp? : Bool) -> String raise MpfError