Question about Int and Crt.