{
	"$schema": "http://json-schema.org/draft-07/schema#",
	"$id": "https://schemas.alumio.com/Number.jsd",
	"title": "http://alumio.com/Number",
	"description": "Data type: Number.",
	"type": "number"
}