crankstring: use crank_str_check_words to read symbol words in crank_str_read_double
crankstring: use crank_str_check_words to read symbol words in crank_str_read_double

WSID/crank-system,WSID/crank-system,WSID/crank-system