Value computations and representations