Re #9390 Fix double from int convertion warning.