The new AtkValue interface aways returns doubles, which causes the range to be printed out with decimals.