filter,subset: more terse parsing of doubles