Updating: starting to implement libfloats/lavector