avoiding rounding to int