A killer question from Japan. Is tan 1° a rational number?