test for guards against size tag contradiction and
	overloaded floating conversion in floating constants