Searched defs:default_float_extension (Results 1 – 2 of 2) sorted by relevance
294 optional float default_float_extension = 71 [default = 51.5]; field
282 optional float default_float_extension = 71 [default = 51.5 ]; field