Well, `VLoadStore128` is only missing a `double` version, right? Just add it, and then you can use it everywhere.