Debugging numbers