File

util.openmetrics: Prettify format of histogram buckets "%g" turns 1GB into 1.07374e+09, which is a bit awkward for the bytes measurements IMO. Turning up the precision, at "%.17g" turns 0.1 into 0.10000000000000001 while "%0.16" gives 0.1, hiding most of those pesky floating point artefacts. Lua version 5.2 uses "%.14g" ( see LUA_NUMBER_FMT in luaconf.h.html ) so it seems like a sensible choice here.

local record lib
	encode : function (any) : string
	decode : function (string) : any, string

	enum json_type_name
		"null"
		"boolean"
		"object"
		"array"
		"number"
		"string"
		"integer"
	end

	type null_type = (nil)
	null : null_type
end
return lib