Function `_F` in blake2b expects a `uint128_t` as third argument but gets `uint64_t` depending on `to_double_word`. @denismerigoux can you look into this?