System now converts numbers to coq format