Fixed rounding error in int generation