Allow float(expression) for any expression with a unique float value
by symbolic evaluation. For example,
dot(as_vector((1,2)),as_vector((1,2)))
is not automatically simplified but can be evaluated symbolically
to a single float value. This is useful in unit tests.

Also emacs did a lot of whitespace removal in this commit.