Module Transitioning.Q

module Q: sig .. end
Function Q.to_float was introduced in Zarith 1.5

val to_float : Q.t -> float