Value checker: rounding from double to float

[mernst]

Run javacheck -processor value on this code:

public class DoubleRounding {

  final double FLOATING_POINT_DELTA = 1e-15;

  void round() {
    float f = (float) FLOATING_POINT_DELTA;
  }
}

The result is:

DoubleRounding.java:6: warning: [cast.unsafe] cast from "@DoubleVal(1.0E-15) double" to "@DoubleVal(1.0000000036274937E-15) float" cannot be statically verified
    float f = (float) FLOATING_POINT_DELTA;
              ^
1 warning

The test case is checked in.

[mernst]

Fixed by 34d33be.