cast integers when we get them