terminal rewards now handled properly, including rewards for negative literals