Added num_eq etc. methods