dorian 01bb8fc51b values are now being rounded		2019-07-13 20:03:31 +02:00
..
json.php	values are now being rounded	2019-07-13 20:03:31 +02:00