Faster int cast