double to two floats encoding.