Searched defs:default_float_extension (Results 1 – 4 of 4) sorted by relevance
314 optional float default_float_extension = 71 [default = 51.5 ]; field
316 optional float default_float_extension = 71 [default = 51.5 ]; field
319 optional float default_float_extension = 71 [default = 51.5 ]; field