The Self-Testing Arithmetic