&== を IEEE 754 に従った素の計算にして、 == だと反射率を満たすようにすればいい気が。