Testing domain floats

Topics
	General test support
	Arithmetic constraints
	Basic setup
	Domain constraints
	Linear constraints
	Minimal modeling constraints (linear constraints)
	Relation constraints

Detailed Description