[{"__symbolic":"module","version":3,"metadata":{"NumericOptions":{"__symbolic":"class"}}},{"__symbolic":"module","version":1,"metadata":{"NumericOptions":{"__symbolic":"class"}}}]