Searched defs:default_double (Results 1 – 5 of 5) sorted by relevance
92 optional double default_double = 72 [default = 52e3 ]; field
131 optional double default_double = 72 [default = 52e3 ]; field
137 optional double default_double = 72 [default = 52e3 ]; field
141 optional double default_double = 72 [default = 52e3 ]; field
159 optional double default_double = 72 [default = 52e3 ]; field