2 This code converts an int value to a double precision
3 floating point number and then
4 passing the result to the Math.ceil() function, which rounds a double to
5 the next higher integer value. This operation should always be a no-op,
6 since the converting an integer to a double should give a number with no fractional part.
7 It is likely that the operation that generated the value to be passed
8 to Math.ceil was intended to be performed using double precision
9 floating point arithmetic.