Are there any significant differences between the Casio EX-Z3 vs the Pentax OptioS? Is one "better"?

After ~5800 pix, it's time to retire my wife's DC220. She wants something that takes up less purse space. Are there any other micro-cameras to consider?

Thanks.