Reduce precision of floats in JSON
Reduce precision of floats in JSON

Due to a https://stackoverflow.com/questions/42981409/php7-1-json-encode-float-issue

Fixes #161

edent/openbenches,edent/openbenches,edent/openbenches