For explicit conversion of image arithmetic to the correct type to make g++ happy.