Symbol: make_bfloat