bugfix: JSON serialization of negative numbers