Add octal and hex. Change the post_make of Int_Token to reflect.