chore: inline FieldElement.is_negative
and document
#5214
Merged
FieldElement.is_negative
and document
#5214