Symbol: parse_bigBN