How Many Animals Have Ever Existed