SAL annotation for a DOUBLE inside a struct, with a range of zero to ∞

I tried using 

_Field_range_(  0, std::numeric_limits<double>::max( ) ) DOUBLE height;

But code analysis threw

`C28285Annotation syntax error in parameter
For function 'Options' 'field __base.height' syntax error in 'SAL_range(0,std::numeric_limits<double>::((() > ()) ? () : ()))' near 'std::numeric_limits'.` 

What is the correct way to annotate this field?

I'm running:

Microsoft Visual Studio Professional 2013
Version 12.0.30501.00 Update 2

Installed Version: Professional

Visual C++ 2013   06177-004-0446034-02847
Microsoft Visual C++ 2013