Updating: minorly improving libfloats/lavector