Symbol: bnum