x * 1 == x             true for all 2^32 inputs
x + x == 2 * x         true for all 2^32 inputs
(x / 2) * 2 == x       false, for example [x = 3889799679]
f + 0.0 == f           false, for f = -0.0
f + (-0.0) == f        true for every float32 except nan
