is-natural-number 42 Bytes