const float_getterinfo: JSJitInfo;