remove PostfixProvider and take advantage of tuple coding of integers