{"type":"$exactUnsignedNumber","value":"13.7","pos":0,"row":0,"col":0,"attr":{}}