/// Copyright (c) 2012 Ecma International.  All rights reserved. 
/**
 * @path ch15/15.2/15.2.3/15.2.3.3/15.2.3.3-2-31.js
 * @description Object.getOwnPropertyDescriptor - argument 'P' is a number that converts to a string (value is 123.1234567)
 */


function testcase() {
        var obj = { "123.1234567": 1 };

        var desc = Object.getOwnPropertyDescriptor(obj, 123.1234567);

        return desc.value === 1;
    }
runTestCase(testcase);
