Updating: adding contrib/libfloats