Print only the first 6 characters of the result's decimal
representation, this "solves" the problem that without optimization
0.46920002 was printed and 0.4692 with -O. Perhaps this could be
turned into a test for constant folding, but this was probably not the
test writer's intention.