[dev] Improvements to tov_new_eos.