Natural number — LessWrong