And that's 4 which is all you need :nat