JSON Config: Convert float to int (bug 1590)