@IsNumber has a bug where it can't discern between "123" and "123a". To get around this, use a combination of @TextToNumber & @Text.
1. FIELD testNum must be a number field.
2. For the Input Translation formula, use
@TextToNumber(@Text(testNum));
@If(@IsError(testNum);@Failure("Field testNum not a number!");@Success);