const float_setterinfo: JSJitInfo;