Implement <json-digit>

things are still tricky over here.