stochastic_control: get rid of floating point hack in trading example