60.2-2 IsNumberField
‣ IsNumberField( F )( property )

returns true if the field F is a finite dimensional extension of a prime field in characteristic zero, and false otherwise.