bool           ∈ 𝔹
int            ∈ ℤ
double         ∈ ℝ
double complex ∈ ℂ
