more code clean
	addition of guards against size tag contradiction and
        overloaded floating conversion in floating constants