How to handle a mix of quoted and unquoted ints?