Symbol: to_hibmc_dp