Adding something to do reverse binary64 encoding.