Searched defs:double_value_with_default (Results 1 – 2 of 2) sorted by relevance
59 optional double double_value_with_default = 20 [default = 1.0]; field105 optional double double_value_with_default = 20 [default = 1.0]; field
57 optional float double_value_with_default = 34 [default = -inf]; field