Just noticed ":nat"
nat

But favorite is :newlol