Use strict integer cast