crt and constants