A.x==(int)(float)x B.d==(double)(float)d C.f==(float)(double)f D.(f+d)-f==d
A.x&y B.(x^y)∣X C.!(x^y) D.!(x^~y)
A.[1010] B.[11010] C.[1111110] D.[111010]