Float decode RocFloat to IEEE764 and then to Haskell