const floatAttribute_getterinfo: JSJitInfo;