Symbol: luai_numsub