Module Number_field.Infix

val (=) : elt -> elt -> bool