Symbol: quad_floating_point