json serializer for numpy