started on the not() implementation for number