rstan: fix a bug that tries to converge too larger reals to integers