Module Field.V

val non_zero_multiplicative_inverse : Bastet.Float.Field.t -> Bastet.Float.Field.t -> bool