Cast floats to int: just because (Ripple.Java)