Symbol: add_and_denormalize