Symbol: __bigfloat_to_decimal