I wish the blog would reveal the values of the 3 floats that make their

    cross_sign(A, B, C)

to give different results in different platforms.