Os números (sur)reais da previdência