DefaultScriptService: add big numbers as built-ins