Make implicit int explicit