add numeric encoder