Teach new_tarval_from_str_int() to parse binary numbers: 0[bB][01]+.