force output visitor to put integers in dec format