SERVER-5424 use NumberInt function template in mongoToV8Element