numbers.double = numbers['java.lang.Double'] = {
            'precision' : new Big('-4.9E-324'),
            'min_value' : new Big('-1.7976931348623157E308'),
            'max_value' : new Big('1.7976931348623157E308')
        };