Knowledge Base
WR
0 <= W < 2560
-256 < W < 01
256 <=W <=+Inf2
-Inf <=W < -2563
NaN4

These results can be tested using BranchR