All the ants on earth weigh more than all the humans