Properties - number fields -- under quick tools