phpにおけるNAN(phpにおいてはNaNじゃなくてNAN)がphpにおいてはfloat/double型に属するというのはいい
しかしNANが数値だとすると以下が成り立ってしまうのではないか

前提1: NAN - 1 は NAN となる
前提2: NAN - 2 は NAN となる
∴1=2である