check that double_precision has type int before convert