Symbol: ldexp_test