Searched defs:default_double (Results 1 – 3 of 3) sorted by relevance
131 optional double default_double = 72 [default = 52e3 ]; field
133 optional double default_double = 72 [default = 52e3 ]; field
144 optional double default_double = 72 [default = 52e3 ]; field