Floating_point (snarky_taylor.Snarky_taylor.Floating

type 'f t

val constant : 
  m:'f Snarky_backendless.Snark.m ->
  value:Bigint.t ->
  precision:int ->
  'f t

val powers : m:'f Snarky_backendless.Snark.m -> 'f t -> int -> 'f t array

val mul : m:'f Snarky_backendless.Snark.m -> 'f t -> 'f t -> 'f t

val add : m:'f Snarky_backendless.Snark.m -> 'f t -> 'f t -> 'f t

val sub : m:'f Snarky_backendless.Snark.m -> 'f t -> 'f t -> 'f t

val add_signed : 
  m:'f Snarky_backendless.Snark.m ->
  'f t ->
  ([ `Pos | `Neg ] * 'f t) ->
  'f t

val of_quotient : 
  m:'f Snarky_backendless.Snark.m ->
  precision:int ->
  top:'f Snarky_integer.Integer.t ->
  bottom:'f Snarky_integer.Integer.t ->
  top_is_less_than_bottom:unit ->
  'f t

val of_bits : 
  m:'f Snarky_backendless.Snark.m ->
  'f Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t list ->
  precision:int ->
  'f t

val precision : _ t -> int

val to_bignum : m:'f Snarky_backendless.Snark.m -> 'f t -> unit -> Bignum.t

val le : 
  m:'f Snarky_backendless.Snark.m ->
  'f t ->
  'f t ->
  'f Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t