int should be double

Picked up with clang++ 3.2-1 compiler warning.