Number System Reasoning