Symbol: USE_DOUBLE_ADD_ALWAYS