Port: Finish NumericTokenStream