Add old post from other blog on floating point ordering