tree ea7a6ac7a21ef6303d9ad66908c518f85e156454
parent 25f574c6f37ddd9e3ce146a3e4305e03d28c2def
author Alex Ruiz <alruiz@google.com> 1320304066 -0700
committer Alex Ruiz <alruiz@google.com> 1320304066 -0700

Fixed: [Issue 153] '-inf' is not supported as default value of double or
float options.