module Vale.Math.Poly2.Bits_s
open FStar.Mul

let to_double32 a = to_double32_def a
let of_double32 d = of_double32_def d
let to_quad32 a = to_quad32_def a
let of_quad32 q = of_quad32_def q

let reveal_to_double32 a = ()
let reveal_of_double32 d = ()
let reveal_to_quad32 a = ()
let reveal_of_quad32 q = ()