Searched defs:default_double_extension_lite (Results 1 – 2 of 2) sorted by relevance
307 optional double default_double_extension_lite = 72 [default = 52e3]; field
302 optional double default_double_extension_lite = 72 [default = 52e3]; field