const floatAttribute_setterinfo: JSJitInfo;