Change pricing formulation: remove unnecessary integrality