fact: Axioms (int_max_int : forall (x : int), (Int63.leb x (Int63.max_int) = true)) (i63le_max_int : forall (x : i63), x <= max_i63) (i63le_min_int : forall (x : i63), min_i63 <= x).
imports: Coq(RelationClasses ZArith Int63 Lia)