Updating: improving libfloats/lavector